Denotational semantics of a parallel object-oriented language

DOI10.1016/0890-5401(89)90057-6zbMath0695.68058OpenAlexW2041828955WikidataQ56092891 ScholiaQ56092891MaRDI QIDQ910250

Jaco de Bakker, Pierre America, Jan J. M. M. Rutten, Joost N. Kok

Publication date: 1989

Published in: Information and Computation (Search for Journal in Brave)

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

zbMATH Keywords

denotational semanticsobject-oriented programmingparallel systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theory of operating systems (68N25) Theory of software (68N99)

Related Items

Reasoning about dynamically evolving process structures ⋮ An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract) ⋮ Three metric domains of processes for bisimulation ⋮ Topological models for higher order control flow ⋮ From π-calculus to higher-order π-calculus — and back ⋮ Recursively defined metric spaces without contraction ⋮ Designing equivalent semantic models for process creation ⋮ Metric semantics for concurrency ⋮ The connection between initial and unique solutions of domain equations in the partial order and metric approach ⋮ π-Calculus semantics of object-oriented programming languages ⋮ Denotational semantics of membrane systems by using complete metric spaces ⋮ Issues in the design of a parallel object-oriented language ⋮ Four domains for concurrency ⋮ A fixed-point theorem in a category of compact metric spaces ⋮ A layered semantics for a parallel object-oriented language ⋮ An introduction to metric semantics: Operational and denotational models for programming and specification languages ⋮ Solving reflexive domain equations in a category of complete metric spaces ⋮ An operational semantics for paragon: A design notation for parallel architectures ⋮ Partial confluence of processes and systems of objects ⋮ A hidden agenda ⋮ Rendez-vous with metric semantics ⋮ Comparative semantics for flow of control in logic programming without logic ⋮ A paradigmatic object-oriented programming language: Design, static typing and semantics ⋮ The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)

Uses Software

• Smalltalk
• Ada95
• POOL

Cites Work

• Designing equivalent semantic models for process creation
• Semantic Correctness for a Parallel Object-Oriented Language
• Process algebra for synchronous communication
• Processes and the denotational semantics of concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Denotational semantics of a parallel object-oriented language