Issues in the design of a parallel object-oriented language

DOI10.1007/BF01887214zbMath0694.68012MaRDI QIDQ909434

Pierre America

Publication date: 1989

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

parallelism; object-oriented programming; programming language design

Mathematics Subject Classification ID

68N01: General topics in the theory of software

68N25: Theory of operating systems

68N99: Theory of software

Related Items

Splitting atoms safely, Abstract interface behavior of object-oriented languages with monitors, A layered semantics for a parallel object-oriented language, An interpretation of typed objects into typed \(\pi\)-calculus, Partial confluence of processes and systems of objects, On transformations of concurrent-object programs, Rendez-vous with metric semantics, Reasoning about dynamically evolving process structures, Inheritance in the join calculus., Verification and refinement with fine-grained action-based concurrent objects

Uses Software

• Modula
• Smalltalk
• Ada95
• POOL
• CLOS
• Eiffel
• Miranda
• Simula 67

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A proof system for concurrent ADA programs
• Denotational semantics of a parallel object-oriented language
• The programming language ADA. Reference manual. American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983
• Algebra of communicating processes with abstraction
• On the consistency of Koomen's fair abstraction rule
• A semantics of multiple inheritance
• Designing equivalent semantic models for process creation
• Power domains
• Semantic Correctness for a Parallel Object-Oriented Language
• Symmetric intertask communication
• Process algebra for synchronous communication
• A Proof System for Communicating Sequential Processes
• Ten Years of Hoare's Logic: A Survey—Part I
• A Powerdomain Construction
• Can programming be liberated from the von Neumann style?
• Communicating sequential processes
• Processes and the denotational semantics of concurrency
• SIMULA: an ALGOL-based simulation language
• An axiomatic basis for computer programming