Constraining interference in an object-based design method

DOI10.1007/3-540-56610-4_61zbMath1497.68100OpenAlexW1036874709MaRDI QIDQ5044731

No author found.

Publication date: 2 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56610-4_61

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items

The name discipline of uniform receptiveness (extended abstract) ⋮ Splitting atoms safely ⋮ Confluence of processes and systems of objects ⋮ On transformations of concurrent object programs ⋮ The name discipline of uniform receptiveness ⋮ Formalising Java RMI with explicit code mobility ⋮ Partial confluence of processes and systems of objects ⋮ On transformations of concurrent-object programs

Uses Software

• LARCH
• BETA
• UNITY
• mural
• ABCL

Cites Work

• Issues in the design of a parallel object-oriented language
• A layered semantics for a parallel object-oriented language
• VDM '91. Formal software development methods. Vol. 1: Conference contributions. 4th international symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Proceedings
• Algebraic methods II: theory, tools and applications
• Laws of programming
• Reduction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Constraining interference in an object-based design method