Semantic Correctness for a Parallel Object-Oriented Language

DOI10.1137/0219023MaRDI QIDQ3474904zbMATH OpenOpenAlexFDO

Authors Jan J. M. M. Rutten

Publication date 1990

Published in SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL https://ir.cwi.nl/pub/6472

zbMATH Keywords

contractionobject-oriented programmingcomplete metric spacesdenotational semanticsoperational semanticssemantic correctness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Denotational semantics of a parallel object-oriented language
• A layered semantics for a parallel object-oriented language
• Correctness properties in a shared-memory parallel language
• scientific article; zbMATH DE number 52915
• scientific article; zbMATH DE number 177841
• Toward a formal semantic framework for deterministic parallel programming
• scientific article; zbMATH DE number 1424057
• scientific article; zbMATH DE number 2230607
• Implementation of Functional Languages
• Issues in the design of a parallel object-oriented language

Cited in

(12)

• scientific article; zbMATH DE number 4018368 (Why is no real title available?)
• Four domains for concurrency
• Denotational semantics of a parallel object-oriented language
• Base-type languages: Program design by upper semantic approximation
• scientific article; zbMATH DE number 52915 (Why is no real title available?)
• Rendez-vous with metric semantics
• Generalizing finiteness conditions of labelled transition systems
• An introduction to metric semantics: Operational and denotational models for programming and specification languages
• A layered semantics for a parallel object-oriented language
• Syntax and semantics of Procol
• Issues in the design of a parallel object-oriented language
• Comparative metric semantics for concurrent PROLOG

This page was built for publication: Semantic Correctness for a Parallel Object-Oriented Language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3474904)