Transitive Separation Logic
From MaRDI portal
Recommendations
- Extended transitive separation logic
- Relational separation logic
- scientific article; zbMATH DE number 408795
- Algebraic separation logic
- Strong-separation logic
- Separation logic and abstraction
- Logic of transition systems
- Transition Logic Revisited
- Separation logic modulo theories
- Foundations of Software Science and Computational Structures
Cites work
- A completeness theorem for Kleene algebras and the algebra of regular events
- Abstraction of object graphs in program verification
- Algebraic separation logic
- Calculating with acyclic and cyclic lists
- Characterizing determinacy in Kleene algebras
- Extending separation logic with fixpoints and postponed substitution
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- scientific article; zbMATH DE number 1086671 (Why is no real title available?)
- Kleene algebra with domain
- On locality and the exchange law for concurrent processes
- Proof of correctness of data representations
- Relational and Kleene-Algebraic Methods in Computer Science
- Resources, concurrency, and local reasoning
- The inverse semigroup of a sum-ordered semiring
- The TPTP problem library. CNF release v1. 2. 1
Cited in
(8)- A system of predicate logic with trans-atomic units
- Extended transitive separation logic
- A program construction and verification tool for separation logic
- Developments in concurrent Kleene algebra
- Tableaux and resource graphs for separation logic
- Tree-like grammars and separation logic
- Runtime Checking for Separation Logic
- Foundations of Software Science and Computational Structures
This page was built for publication: Transitive Separation Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915132)
