Semantic Correctness for a Parallel Object-Oriented Language

DOI10.1137/0219023zbMATH Open0697.68077OpenAlexW1966054964MaRDI QIDQ3474904FDOQ3474904

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

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

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)

Cited In (12)

• Title not available (Why is that?)
• Four domains for concurrency
• Denotational semantics of a parallel object-oriented language
• Base-type languages: Program design by upper semantic approximation
• Title not available (Why is that?)
• Rendez-vous with metric semantics
• An introduction to metric semantics: Operational and denotational models for programming and specification languages
• Generalizing finiteness conditions of labelled transition systems
• 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)