Authors : Mohammad Shamsul Arefin
Abstract: 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 calling methods that return type is void in Java.
Mohammad Shamsul Arefin , 2004. Structural Operational Semantics of Calling Methods in Java . Asian Journal of Information Technology, 3: 1059-1064.