Full abstraction at package boundaries of object-oriented languages

DOI10.1007/978-3-642-25032-3_3MaRDI QIDQ3098051zbMATH OpenOpenAlexFDO

Authors Arnd Poetzsch-Heffter

Publication date 11 November 2011

Published in Formal Methods, Foundations and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-25032-3_3

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

• Programming Languages and Systems
• A fully abstract may testing semantics for concurrent objects
• Full Abstraction for Linda
• An operational semantics for object-oriented concepts based on the class hierarchy
• Formal Methods for Components and Objects

Cites work

• scientific article; zbMATH DE number 986407 (Why is no real title available?)
• scientific article; zbMATH DE number 3688686 (Why is no real title available?)
• A bisimulation for dynamic sealing
• A bisimulation for type abstraction and recursion
• A logic of object-oriented programs
• A syntactic approach to type soundness
• Full abstraction at package boundaries of object-oriented languages
• Fully abstract models of typed \(\lambda\)-calculi
• LCF considered as a programming language
• Ownership confinement ensures representation independence for object-oriented programs
• Programming Languages and Systems
• Programming Languages and Systems
• Refactoring and representation independence for class hierarchies
• Refinement Calculus
• Small bisimulations for reasoning about higher-order imperative programs
• Theoretical Aspects of Computing - ICTAC 2004

Cited in

(8)

• Abstraction over implementation structure with symmetrically encapsulated multimethods
• Programming Languages and Systems
• scientific article; zbMATH DE number 5036161 (Why is no real title available?)
• Abstract interface behavior of object-oriented languages with monitors
• A fully abstract may testing semantics for concurrent objects
• Logical Approaches to Computational Barriers
• An operational semantics for object-oriented concepts based on the class hierarchy
• Full abstraction at package boundaries of object-oriented languages

Describes a project that uses

Uses Software

• Java Jr

This page was built for publication: Full abstraction at package boundaries of object-oriented languages

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