Dynamic Frames in Java Dynamic Logic
From MaRDI portal
Publication:3067542
DOI10.1007/978-3-642-18070-5_10zbMath1308.68046MaRDI QIDQ3067542
Benjamin Weiß, Peter H. Schmitt, Mattias Ulbrich
Publication date: 21 January 2011
Published in: Formal Verification of Object-Oriented Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-18070-5_10
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Cites Work
- Unnamed Item
- Modular invariants for layered object structures
- Proof of correctness of data representations
- Specification and verification challenges for sequential object-oriented programs
- Guarded commands, nondeterminacy and formal derivation of programs
- Separation logic and abstraction
- Algebraic Methodology and Software Technology
- Sequential, Parallel, and Quantified Updates of First-Order Structures