We are interested in object-oriented language constructs and how they can be specified in Reference Attributed Grammars. We use the APPLAB system as an experimental platform for trying out the specifications. Currently, we are investigating the key constructs in Java, namely:
For future work, we are interested in analyzing constructs of other languages, e.g. various approaches to generics, e.g. virtual classes in BETA.single inheritance for classes multiple inheritance for interfaces method overloading qualified access virtual methods block structure in combination with inheritance (inner classes) assignment compatibility in connection to subtyping
Related projects:
Object Oriented Attribute Grammars The APPLAB system
G. Hedin
Reference Attributed Grammars
To appear in Informatica.
[Abstract (html)]
An earlier version of this paper was published at WAGA'99. [Abstract etc. (html)]
The paper includes examples of specifying some key constructs in OO languages.