Featherweight generic confinement

DOI10.1017/S0956796806006125MaRDI QIDQ3426137zbMATH OpenOpenAlexFDO

Authors Alex Potanin, Dave Clarke, Robert Biddle, James Noble

Publication date 8 March 2007

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796806006125

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Confinement framework for encapsulating objects
• Confined types in Java
• Type-based confinement
• A semantic model of confinement and locality theorem
• Ownership confinement ensures representation independence for object-oriented programs

Cited in

(7)

• Type Safety for FJ and FGJ
• Type-based confinement
• Confined types in Java
• Invariants for non-hierarchical object structures
• Ownership types for object encapsulation
• Confinement framework for encapsulating objects
• Universe Types for Topology and Encapsulation

This page was built for publication: Featherweight generic confinement

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