Invariants for non-hierarchical object structures

DOI10.1016/J.ENTCS.2007.08.034MaRDI QIDQ2873622zbMATH OpenOpenAlexFDO

Authors Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit

Publication date 24 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.08.034

zbMATH Keywords

formal specificationinvariantsobject-oriented programsprogram verification

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) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Modular invariants for layered object structures
• Invariant structures and dependence relations
• Structural Invariants
• Invariants
• Structural and Dynamic Restrictions of Elementary Object Systems
• Finite representations of the non-structural objects
• Notions of invariance for abstraction principles
• Invariant subsets of the structure of functional dependences

Cites work

• Featherweight generic confinement
• FM 2005: Formal Methods
• scientific article; zbMATH DE number 1251179 (Why is no real title available?)
• scientific article; zbMATH DE number 1006119 (Why is no real title available?)
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• Mathematics of Program Construction
• Modular invariants for layered object structures
• Modular specification and verification of object-oriented programs
• Proof of correctness of data representations
• Separation logic and abstraction
• Specification and verification of invariants by exploiting layers in OO designs

Cited in

(9)

• Modular invariants for layered object structures
• On the validation of invariants at runtime
• Finite representations of the non-structural objects
• Structural Invariants
• Considerate reasoning and the Composite design pattern
• Structural and Dynamic Restrictions of Elementary Object Systems
• Specification and verification of invariants by exploiting layers in OO designs
• Using History Invariants to Verify Observers
• The concept of class invariant in object-oriented programming

Describes a project that uses

Uses Software

• Eiffel

This page was built for publication: Invariants for non-hierarchical object structures

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