Asian Journal of Information Technology

Year: 2004
Volume: 3
Issue: 6
Page No. 448 - 455

Structural Operational Semantics of Some Important Properties in Java

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.

How to cite this article:

Mohammad Shamsul Arefin , 2004. Structural Operational Semantics of Some Important Properties in Java . Asian Journal of Information Technology, 3: 448-455.

Design and power by Medwell Web Development Team. © Medwell Publishing 2022 All Rights Reserved