1991 | ReviewPaper | Buchkapitel
CCS for OO and LP
verfasst von : J. W. de Bakker, E. P. de Vink
Erschienen in: TAPSOFT '91
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We illustrate the design of comparative continuation semantics for object-oriented and logic programming languages by three case studies dealing with process creation, backtracking and rendez-vous. Operational and denotational semantics involving syntactic and semantic continuations are proposed, and their equivalence is shown. For the rendez-vous concept, we present a somewhat streamlined version of our earlier work on the semantics of the parallel object-oriented language POOL. Throughout, the metric framework is exploited, and (unique fixed points of) contracting functions are used pervasively.