JAS (Java Action Semantics)

The objectives of this project will be to develop a complete action-semantic specification of Java, including its abstract syntax, static and dynamic semantics, selected foundation classes, and the Java Virtual Machine. I hope that the project will start in early 1998.

As a pilot study, I have written an action-semantic specification of the abstract syntax and dynamic semantics of JOOS (available in Postscript). JOOS is a Java subset designed by Laurie Hendren. It demonstrates the main concepts of Java: classes, inheritance, dynamic method selection, constructors. JOOS lacks static fields and methods, and automatic type conversions. All fields are private, and fields may not be hidden. All methods and constructors are public, and they may not be overloaded.

Professor David A. Watt

Department of Computing Science
University of Glasgow
Glasgow G12 8QQ, Scotland

Email: daw@dcs.gla.ac.uk
Tel: +44 141 330 4470
Fax: +44 141 330 4913