Research Repository

CSM-471: Abstract Semantics for Java 1.4 Programs

Eden, Amnon H and Nicholson, Jonathan and Gasparis, Epameinondas (2007) CSM-471: Abstract Semantics for Java 1.4 Programs. Technical Report. CSM-471, University of Essex, Colchester.


Download (934kB) | Preview


This document is a compendium of examples that describe the entities and relations that represent the abstract semantics (finite structures) of programs in the JavaTM programming language. It is designed to provide further explanation to the definitions given in the LePUS3 and Class-Z Reference manual [Eden et al. 2007]. To remind the reader, a finite structure is a simplified ('abstracted') picture of the program, which 'flattens' the knotty structure and syntax of the source code into a set of primitive entities (also called entities of dimension 0) and relations. Essentially, each finite structure can be viewed as a relational database, or a set of tables which contain tuples of entities ('records'). Below we list a few sample Java programs and the finite structure that represents them.

Item Type: Monograph (Technical Report)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculty of Science and Health > Computer Science and Electronic Engineering, School of
Depositing User: Julie Poole
Date Deposited: 24 Oct 2014 10:51
Last Modified: 24 Oct 2014 10:51

Actions (login required)

View Item View Item