Universe Types for Topology and Encapsulation

DOI10.1007/978-3-540-92188-2_4zbMATH Open1209.68125OpenAlexW1556327758MaRDI QIDQ3602996FDOQ3602996

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Representation independence, confinement and access control (extended abstract)
• Modular specification and verification of object-oriented programs
• A syntactic theory of sequential control
• Ownership types for object encapsulation
• Modular invariants for layered object structures
• Scoped types and aspects for real-time Java memory management
• Featherweight generic confinement
• Protecting representation with effect encapsulation

Cited In (2)

• Existential Quantification for Variant Ownership
• Title not available (Why is that?)

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)