Protecting representation with effect encapsulation

DOI10.1145/1111037.1111069MaRDI QIDQ5348935zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

effect systemsobject encapsulationownership typesrepresentation exposuretypes

Mathematics Subject Classification ID

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

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

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)