TY  - JOUR
T1  - Structural Operational Semantics of Some Important Properties in Java
AU - , Mohammad Shamsul Arefin 
JO  - Asian Journal of Information Technology
VL  - 3
IS  - 6
SP  - 448
EP  - 455
PY  - 2004
DA  - 2001/08/19
SN  - 1682-3915
DO  - ajit.2004.448.455
UR  - https://makhillpublications.co/view-article.php?doi=ajit.2004.448.455
KW  - 
AB  - 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.
ER  -