| Author | Charinya Tayapiwattana |
| Call Number | AIT Thesis no. CS-99-5 |
| Subject(s) | Java (Computer program language)
|
| Note | A thesis submitted in partial fulfillment of the requirements of the degree of Master of
Science, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Abstract | A restricted subset of Java called Mini Java, which includes variable declaration,
object creation, inheritance and parameter passing mechanism, boolean and numerical
expressions, commands, method call, access control modifiers, and local variables, has been
selected. Structural operational semantics of this subset is 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
and working-environment. Local variable inside a block is possible because state is not flat.
An internal state inside a block can be initiated over an external state. An object is organized
in several levels according to its inheritance hierarchy, which gives a clear picture of workingenvironment. |
| Year | 1999 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Phan Minh Dung |
| Examination Committee(s) | Sadananda, Ramakoti;Yulu, Qi |
| Scholarship Donor(s) | Asian Institute of Technology Partial Scholarship |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 1999 |