Authors : Mohammad Shamsul Arefin
Abstract: Some important properties of Java have been chosen that include expressions, commands, declarations, array declaration, array creation, array access. These properties together have been referred as a subset of Java called Mini Java. Structural operational semantics of this subset has been defined regardless of any implementation details. The semantics of programming languages is based on the structure of the environment and the state. The environment in this work is divided into class-environment, array-environment, and working-environment. The state is considered as a snapshot of the contents of the program memory of the abstract machine.
Mohammad Shamsul Arefin , 2004. Structural Operational Semantics of Some Important Properties in Java . Asian Journal of Information Technology, 3: 448-455.