Ownership types for object encapsulation

DOI10.1145/604131.604156MaRDI QIDQ2942927zbMATH OpenOpenAlexFDO

Authors Chandrasekhar Boyapati, Barbara H. Liskov, Liuba Shrira

Publication date 11 September 2015

Published in Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

zbMATH Keywords

object encapsulationownership typessoftware upgrades

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1728235
• Featherweight generic confinement
• Gradual ownership types
• Infering Ownership Types for Encapsulated Object-Oriented Program Components
• Ownership confinement ensures representation independence for object-oriented programs

Cites work

• scientific article; zbMATH DE number 3511563 (Why is no real title available?)
• scientific article; zbMATH DE number 615137 (Why is no real title available?)
• scientific article; zbMATH DE number 1942450 (Why is no real title available?)
• scientific article; zbMATH DE number 1948151 (Why is no real title available?)
• scientific article; zbMATH DE number 1953123 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• Regular expression pattern matching for XML
• Types and programing languages

Cited in

(18)

• Combining traits with boxes and ownership types in a Java-like setting
• Confinement framework for encapsulating objects
• On assertion-based encapsulation for object invariants and simulations
• scientific article; zbMATH DE number 1728235 (Why is no real title available?)
• Gradual ownership types
• Ownership confinement ensures representation independence for object-oriented programs
• Infering Ownership Types for Encapsulated Object-Oriented Program Components
• Universe Types for Topology and Encapsulation
• Spatial-Behavioral Types, Distributed Services, and Resources
• Existential Quantification for Variant Ownership
• Refactoring and representation independence for class hierarchies
• scientific article; zbMATH DE number 1037478 (Why is no real title available?)
• JAC—Access right based encapsulation for Java
• Protecting representation with effect encapsulation
• Ownership guided C to Rust translation
• Towards imperative modules: reasoning about invariants and sharing of mutable state
• Observational purity and encapsulation
• Implicit ownership types for memory management

Describes a project that uses

Uses Software

• TREX

This page was built for publication: Ownership types for object encapsulation

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