Oxford University Computing Lab, Programming Research Group Technical Monograph PRG-115

An Operational Semantics for FOOPS

by Paulo Borba and Joseph Goguen

November 1994, 68 pages


FOOPS is a concurrent object-oriented language. We give a structured operational semantics for FOOPS, considering features such as classes of objects with associated methods and attributes, object identity, dynamic object creation and deletion, overloading, polymorphism, inheritance with overriding, dynamic binding, concurrency, nondeterminism, atomic execution, evaluation of expressions as background processes, and object protection.

This paper can be ordered from the Oxford University Computing Lab, Programming Research Group.


To FOOPS homepage
To Systems index page
To Joseph Goguen homepage
Maintained by Joseph Goguen
Last modified 23 February 1999