Semantic Correctness for a Parallel Object-Oriented Language

DOI10.1137/0219023zbMath0697.68077OpenAlexW1966054964MaRDI QIDQ3474904

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

contractionoperational semanticsdenotational semanticsobject-oriented programmingcomplete metric spacessemantic correctness

Mathematics Subject Classification ID

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

Related Items

Base-type languages: Program design by upper semantic approximation ⋮ Issues in the design of a parallel object-oriented language ⋮ Denotational semantics of a parallel object-oriented language ⋮ Generalizing finiteness conditions of labelled transition systems ⋮ Four domains for concurrency ⋮ A layered semantics for a parallel object-oriented language ⋮ An introduction to metric semantics: Operational and denotational models for programming and specification languages ⋮ Rendez-vous with metric semantics