Structural operational semantics of packages 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 several important aspects of packages in Java programming. With that we have showed how structural operational semantics is helpful for understanding the structure of packages.