The concept of class invariant in object-oriented programming

DOI10.1145/3626201MaRDI QIDQ7028281zbMATH OpenFDO

Authors Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov

Publication date 12 February 2025

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3626201

zbMATH Keywords

invariantsobject-oriented programmingprogram verification

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• An axiomatic basis for computer programming
• An Introduction to the Construction and Verification of Alphard Programs
• FM 2005: Formal Methods
• Formal Methods for Components and Objects
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• scientific article; zbMATH DE number 3351184 (Why is no real title available?)
• Invariants for non-hierarchical object structures
• Local reasoning for global invariants. I: Region logic
• Local reasoning for global invariants. II: Dynamic boundaries
• Loop invariants: analysis, classification, and examples
• Mathematics of Program Construction
• Modular invariants for layered object structures
• Modular specification and verification of object-oriented programs
• Proof of correctness of data representations
• Towards imperative modules: reasoning about invariants and sharing of mutable state

This page was built for publication: The concept of class invariant in object-oriented programming

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