Separation logic, abstraction and inheritance

DOI10.1145/1328438.1328451zbMath1295.68091OpenAlexW2050576837MaRDI QIDQ3189828

G. M. Bierman, Matthew J. Parkinson

Publication date: 12 September 2014

Published in: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1328438.1328451

zbMATH Keywords

modularityseparation logic

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (16)

Undecidability of Propositional Separation Logic and Its Neighbours ⋮ Verified software units ⋮ Separation Logic for Multiple Inheritance ⋮ Higher-Order Separation Logic in Isabelle/HOLCF ⋮ Automatic verification of Java programs with dynamic frames ⋮ Incremental reasoning with lazy behavioral subtyping for multiple inheritance ⋮ Lazy behavioral subtyping ⋮ Incremental Reasoning for Multiple Inheritance ⋮ Unifying separation logic and region logic to allow interoperability ⋮ Verifying traits: an incremental proof system for fine-grained reuse ⋮ Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq ⋮ Specification Patterns and Proofs for Recursion through the Store ⋮ Nested Hoare Triples and Frame Rules for Higher-Order Store ⋮ Certificates and Separation Logic ⋮ WP Semantics and Behavioral Subtyping ⋮ Separation Logic Contracts for a Java-Like Language with Fork/Join

This page was built for publication: Separation logic, abstraction and inheritance