scientific article; zbMATH DE number 1728235

MaRDI QIDQ2779232zbMATH OpenFDO

Authors Dave Clarke, John Potter, James Noble

Publication date 15 April 2002

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:

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