Controlling object allocation using creation guards

DOI10.1007/11526841_6MaRDI QIDQ5716914zbMATH OpenOpenAlexFDO

Authors Cees Pierik, Dave Clarke, Frank S. de Boer

Publication date 10 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b27882, https://lirias.kuleuven.be/handle/123456789/203422

zbMATH Keywords

invariantsobject allocationobject-oriented programmingspecificationverification

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)

Recommendations

• Towards imperative modules: reasoning about invariants and sharing of mutable state
• Formal Methods for Components and Objects
• On assertion-based encapsulation for object invariants and simulations
• Local reasoning for global invariants. I: Region logic
• Modular invariants for layered object structures

Cited in

(6)

• On assertion-based encapsulation for object invariants and simulations
• Invariants for non-hierarchical object structures
• Sharing Objects by Read-Only References
• Friends need a bit more: Maintaining invariants over shared state
• Towards imperative modules: reasoning about invariants and sharing of mutable state
• Observational purity and encapsulation

Describes a project that uses

Uses Software

• JML

This page was built for publication: Controlling object allocation using creation guards

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