Structural operational semantics of packages in Java

Author

Al Farook, Abdullah ; Arefin, Mohammad Shamsul ; Hoque, Moshiul

Author_Institution

Comput. Sci. & Eng. Dept., Chittagong Univ. of Eng. & Technol., Chittagong

fYear

2008

fDate

24-27 Dec. 2008

Firstpage

40

Lastpage

45

Abstract

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.

Keywords

Java; programming language semantics; software packages; Java programming; mathematical model; package structure; programming language; structural operational semantics; Algebra; Computer languages; Computer science; Information technology; Java; Joining processes; Mathematical model; Packaging machines; Program processors; Programming profession; Java; abstraction; environment; package; structural operational semantics;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer and Information Technology, 2008. ICCIT 2008. 11th International Conference on

Conference_Location

Khulna

Print_ISBN

978-1-4244-2135-0

Electronic_ISBN

978-1-4244-2136-7

Type

conf

DOI

10.1109/ICCITECHN.2008.4803025

Filename

4803025