Structural Operational Semantics of Calling Methods in Java

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.