Mathematics of Program Construction
From MaRDI portal
Publication:5313101
DOI10.1007/b98756zbMath1106.68338OpenAlexW2492557863MaRDI QIDQ5313101
David A. Naumann, Mike Barnett
Publication date: 26 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98756
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (11)
Towards imperative modules: reasoning about invariants and sharing of mutable state ⋮ On assertion-based encapsulation for object invariants and simulations ⋮ Specification and verification challenges for sequential object-oriented programs ⋮ A system for compositional verification of asynchronous objects ⋮ Verified software units ⋮ The dynamic frames theory ⋮ Automatic verification of Java programs with dynamic frames ⋮ A Representation-Independent Behavioral Semantics for Object-Oriented Components ⋮ A proof outline logic for object-oriented programming ⋮ From Predicates to Programs: The Semantics of a Method Language ⋮ Invariants for Non-Hierarchical Object Structures
Uses Software
This page was built for publication: Mathematics of Program Construction
