A good understanding of programming language can be developed and understood in a machine independent manner called structural operational semantics. It is a mathematical model for specifying the meaning of a language by defining the effect of a running program in terms of its structure. The emphasis of this work is to present the structural operational semantics of thread in Java.
Mohammad Shamsul Arefin , A.S. M. Mahfujur Rahman , Mohammad Ali Akber Dewan and S. M. Rafiqul Islam . Structural Operational Semantics of Thread in Java.
DOI: https://doi.org/10.36478/javaa.2004.69.76
URL: https://www.makhillpublications.co/view-article/1680-5593/javaa.2004.69.76