Logo
LogoUniGeSES

ASG list of publications

Citation

Oscar Nierstrasz, "Mapping Object Descriptions to Behaviours", June, 1988

Abstract

There is a lack of good formalisms and tools for describing the semantics of object-oriented and concurrent programming languages. We propose a computational model for objects in which it events are synchronous communications between concurrent agents, it computations are partial orderings of events, and it behaviours are the possible event unfoldings in which an agent, or a system of concurrent agents, may participate. Furthermore, we introduce a language called it Abacus for defining executable behaviour expressions, and we speculate how this language may be used as part of a practical system for defining the formal semantics of programming languages.

Additionnal Notes

in Technical Report "Active Object Environments", p 106-113, D. Tsichritzis editor, Centre Universitaire d'Informatique, University of Geneva

Bibtex

@unpublished{Nier88a,
Author = "Oscar Nierstrasz",
Title = "Mapping Object Descriptions to Behaviours",
Key = "olit-obc abacus osg tr88",
Notes = "in Technical Report "Active Object Environments", p 106-113, D. Tsichritzis editor, Centre Universitaire d'Informatique, University of Geneva",
Month = "June",
Year = "1988"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.