A Representation-Independent Behavioral Semantics for Object-Oriented Components

DOI10.1007/978-3-540-72952-5_10zbMath1202.68100OpenAlexW1831903582MaRDI QIDQ5428910

Jan Schäfer, Arnd Poetzsch-Heffter

Publication date: 28 November 2007

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

Full work available at URL: https://doi.org/10.1007/978-3-540-72952-5_10

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (4)

Behavioral interface description of an object-oriented language with futures and promises ⋮ Observable interface behaviour and inheritance ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ Abstract interface behavior of object-oriented languages with monitors

Uses Software

• JML
• Spec#
• Featherweight Java

Cites Work

• Unnamed Item
• Unnamed Item
• Abstract interface behavior of object-oriented languages with monitors
• Class refinement as semantics of correct object substitutability
• Ownership confinement ensures representation independence for object-oriented programs
• Infering Ownership Types for Encapsulated Object-Oriented Program Components
• Mathematics of Program Construction
• Modular specification and verification of object-oriented programs

This page was built for publication: A Representation-Independent Behavioral Semantics for Object-Oriented Components