Protecting representation with effect encapsulation

DOI10.1145/1111037.1111069zbMATH Open1369.68078OpenAlexW2010088035MaRDI QIDQ5348935FDOQ5348935

Authors:

Publication date: 21 August 2017

Published in: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1111037.1111069

Recommendations

• Ownership confinement ensures representation independence for object-oriented programs
• Ownership types for object encapsulation
• Type-based confinement
• Formal Methods for Components and Objects
• JAC—Access right based encapsulation for Java

zbMATH Keywords

typesownership typeseffect systemsobject encapsulationrepresentation exposure

Mathematics Subject Classification ID

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

Cited In (1)

• Universe Types for Topology and Encapsulation

This page was built for publication: Protecting representation with effect encapsulation

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