The dynamic frames theory

DOI10.1007/s00165-010-0152-5zbMath1252.68192OpenAlexW2078020391MaRDI QIDQ539422

I. T. Kassios

Publication date: 30 May 2011

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

Full work available at URL: https://doi.org/10.1007/s00165-010-0152-5

zbMATH Keywords

specification languagesframe problem

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

A First-Order Logic with Frames ⋮ Laws of Programming for References ⋮ Enforcing Structural Invariants Using Dynamic Frames ⋮ Unifying separation logic and region logic to allow interoperability ⋮ Verifying Whiley programs with Boogie ⋮ Reasoning about Separation Using Abstraction and Reification

Uses Software

• Boogie
• VeriCool

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automatic verification of Java programs with dynamic frames
• Separation and information hiding
• Unifying Theories of Locations
• A Basis for Verifying Multi-threaded Programs
• Modular specification of frame properties in JML
• Separation logic and abstraction
• Mathematics of Program Construction
• A Theory of Pointers for the UTP
• Programming Languages and Systems

This page was built for publication: The dynamic frames theory