Programming Research Group AN OPERATIONAL SEMANTICS FOR FOOPS

Abstract

FOOPS is a concurrent object-oriented language. We give a structural 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, concurrency, nondeterminism, atomic execution, evaluation of expressions as background processes, and object protection.

Cite this paper

@inproceedings{Borba1994ProgrammingRG, title={Programming Research Group AN OPERATIONAL SEMANTICS FOR FOOPS}, author={Paulo Borba and Joseph A. Goguen}, year={1994} }