Dynamic frames in Java dynamic logic
From MaRDI portal
Logic in computer science (03B70) 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
Cites work
- Algebraic Methodology and Software Technology
- Guarded commands, nondeterminacy and formal derivation of programs
- scientific article; zbMATH DE number 1556014 (Why is no real title available?)
- Modular invariants for layered object structures
- Proof of correctness of data representations
- Separation logic and abstraction
- Sequential, Parallel, and Quantified Updates of First-Order Structures
- Specification and verification challenges for sequential object-oriented programs
Cited in
(8)- Abstraction and subsumption in modular verification of C programs
- Enforcing structural invariants using dynamic frames
- Computer Aided Verification
- The dynamic frames theory
- Abstract dynamic frames
- Stateful Behavioral Types for Active Objects
- Schematic program proofs with abstract execution. Theory and applications
- Automatic verification of Java programs with dynamic frames
This page was built for publication: Dynamic frames in Java dynamic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3067542)
