Universe Types for Topology and Encapsulation

DOI10.1007/978-3-540-92188-2_4zbMath1209.68125OpenAlexW1556327758MaRDI QIDQ3602996

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

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

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

Cites Work

• Scoped types and aspects for real-time Java memory management
• A syntactic theory of sequential control
• Modular invariants for layered object structures
• Ownership types for object encapsulation
• Featherweight generic confinement
• Representation independence, confinement and access control [extended abstract]
• Protecting representation with effect encapsulation
• Modular specification and verification of object-oriented programs
• Unnamed Item
• Unnamed Item

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