Ownership types for object encapsulation

DOI10.1145/604131.604156zbMath1321.68166OpenAlexW2160456755MaRDI QIDQ2942927

Liuba Shrira, Chandrasekhar Boyapati, Barbara Liskov

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

ownership typessoftware upgradesobject encapsulation

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)

Related Items

Towards imperative modules: reasoning about invariants and sharing of mutable state, On assertion-based encapsulation for object invariants and simulations, Observational purity and encapsulation, Confinement framework for encapsulating objects, Refactoring and representation independence for class hierarchies, Universe Types for Topology and Encapsulation, Spatial-Behavioral Types, Distributed Services, and Resources

Uses Software

• TREX

Cites Work

• Regular expression pattern matching for XML
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item