Universe Types for Topology and Encapsulation

DOI10.1007/978-3-540-92188-2_4MaRDI QIDQ3602996zbMATH OpenOpenAlexFDO

Authors David Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers

Publication date 12 February 2009

Published in Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL https://www.um.edu.mt/library/oar//handle/123456789/23235

Mathematics Subject Classification ID

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

Recommendations

• Ownership types for object encapsulation
• scientific article; zbMATH DE number 1728235
• Infering Ownership Types for Encapsulated Object-Oriented Program Components
• Type-based confinement
• scientific article; zbMATH DE number 1302063

Cites work

• scientific article; zbMATH DE number 1728235 (Why is no real title available?)
• scientific article; zbMATH DE number 1304000 (Why is no real title available?)
• A syntactic theory of sequential control
• Featherweight generic confinement
• Modular invariants for layered object structures
• Modular specification and verification of object-oriented programs
• Ownership types for object encapsulation
• Protecting representation with effect encapsulation
• Representation independence, confinement and access control (extended abstract)
• Scoped types and aspects for real-time Java memory management

Cited in

(2)

• scientific article; zbMATH DE number 515742 (Why is no real title available?)
• Existential Quantification for Variant Ownership

This page was built for publication: Universe Types for Topology and Encapsulation

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