Graph-Based Object-Oriented Hoare Logic

DOI10.1007/978-3-642-39698-4_23zbMath1390.68192OpenAlexW183428347MaRDI QIDQ2842647

No author found.

Publication date: 16 August 2013

Published in: Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39698-4_23

zbMATH Keywords

aliasingHoare logicstate graphobject-oriented program

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Graph-Based Object-Oriented Hoare Logic

Uses Software

• rCOS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• rCOS: a refinement calculus of object systems
• Refinement and verification in component-based model-driven design
• Graph transformations for object-oriented refinement
• Graph-Based Object-Oriented Hoare Logic
• Separation logic and abstraction
• Graph Transformations
• An axiomatic basis for computer programming
• Formal Methods for Open Object-Based Distributed Systems

This page was built for publication: Graph-Based Object-Oriented Hoare Logic