A Representation-Independent Behavioral Semantics for Object-Oriented Components

DOI10.1007/978-3-540-72952-5_10MaRDI QIDQ5428910zbMATH OpenOpenAlexFDO

Authors Arnd Poetzsch-Heffter, Jan Schäfer

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

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

Recommendations

• Formal Methods for Components and Objects
• scientific article; zbMATH DE number 4115919
• WP semantics and behavioral subtyping
• scientific article; zbMATH DE number 1696907
• A graph-based semantics for object-oriented programming constructs

Cites work

• Abstract interface behavior of object-oriented languages with monitors
• Class refinement as semantics of correct object substitutability
• scientific article; zbMATH DE number 1728235 (Why is no real title available?)
• scientific article; zbMATH DE number 1903369 (Why is no real title available?)
• Infering Ownership Types for Encapsulated Object-Oriented Program Components
• Mathematics of Program Construction
• Modular specification and verification of object-oriented programs
• Ownership confinement ensures representation independence for object-oriented programs

Cited in

(8)

• Abstract interface behavior of object-oriented languages with monitors
• Behavioural semantics for asynchronous components
• Towards inconsistency handling of object-oriented behavioral models
• Formal Methods for Components and Objects
• Observable interface behaviour and inheritance
• Formal Methods for Components and Objects
• An operational semantics for object-oriented concepts based on the class hierarchy
• Behavioral interface description of an object-oriented language with futures and promises

Describes a project that uses

Uses Software

• JML
• Spec#
• Featherweight Java

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5428910)