Simple ownership types for object containment

DOI10.1007/3-540-45337-7_4MaRDI QIDQ2779232zbMATH OpenFDO

Authors Dave Clarke, John Potter, James Noble

Publication date 15 April 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2072/20720053

zbMATH Keywords

OO type systems, ownership types, object containment, flexible alias protection

Mathematics Subject Classification ID

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

Recommendations

• Ownership types for object encapsulation
• Ownership confinement ensures representation independence for object-oriented programs
• Gradual ownership types
• Type-based confinement
• Existential Quantification for Variant Ownership

Cited in

(16)

• 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
• Ownership types for object encapsulation
• Synchronizing model and program refactoring
• A semantic model of confinement and locality theorem
• Ownership confinement ensures representation independence for object-oriented programs
• Universe Types for Topology and Encapsulation
• Existential Quantification for Variant Ownership
• Refactoring and representation independence for class hierarchies
• scientific article; zbMATH DE number 1983045 (Why is no real title available?)
• A Representation-Independent Behavioral Semantics for Object-Oriented Components
• Blaming the client: on data refinement in the presence of pointers
• Towards imperative modules: reasoning about invariants and sharing of mutable state
• Resources, concurrency, and local reasoning
• Observational purity and encapsulation

Describes a project that uses

Uses Software

• Eiffel
• Virginity

This page was built for publication: Simple ownership types for object containment

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