An Operational Semantics for FOOPS
Panlo Borba and Joseph A. Goguen
Abstract
FOOPS is a concurrent object-oriented language. We give a structural operational semantics for FOOPS, considering features such as classes of objects which associated methods and attributes, object identity dynamic object creation and deletion overloading polymorphism inheritance with overriding dynamic building concurrency nodeterminism atomic execution, evaluation of expressions as background processes and object protection.
Institution
OUCL
Month
November
Number
PRG115
Year
1994