Asian Journal of Information Technology
ISSN: Online 1993-5994ISSN: Print 1682-3915
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.
How to cite this article:
Mohammad Shamsul Arefin . Structural Operational Semantics of Some Important Properties in Java.
DOI: https://doi.org/10.36478/ajit.2004.448.455
URL: https://www.makhillpublications.co/view-article/1682-3915/ajit.2004.448.455