Abstract: "A comparative semantic study is made of an element of the family of concurrent object-oriented programming languages. Particular attention is paid to two notions: (i) dynamically evolving process structures, including a mechanism to name and refer to processes and a means to create n...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Bakker, Jacobus W. de 1939-2012 (VerfasserIn), Vink, E. P. de (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Amsterdam 1991
Schriftenreihe:	Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 91,35
Schlagworte:	Concurrent programming Object-oriented programming (Computer science) Semantics
Zusammenfassung:	Abstract: "A comparative semantic study is made of an element of the family of concurrent object-oriented programming languages. Particular attention is paid to two notions: (i) dynamically evolving process structures, including a mechanism to name and refer to processes and a means to create new processes, and (ii) rendez-vous between processes involving the sending and answering of messages and the induced execution of method calls. The methodology of metric semantics is applied in the design of operational and denotational semantics, as well as in the proof of their equivalence. Both semantics employ domains which are determined as fixed points of a contracting functor in the category of complete metric spaces Moreover, fruitful use is made of the technique of defining semantic meaning functions as fixed points of contracting higher-order mappings. Finally, syntactic and semantic continuations play a pervasive role.
Beschreibung:	29 S.