Algebraic separation logic
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1696821 (Why is no real title available?)
- scientific article; zbMATH DE number 4030272 (Why is no real title available?)
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- scientific article; zbMATH DE number 3470465 (Why is no real title available?)
- scientific article; zbMATH DE number 3574936 (Why is no real title available?)
- scientific article; zbMATH DE number 1086636 (Why is no real title available?)
- scientific article; zbMATH DE number 1984270 (Why is no real title available?)
- scientific article; zbMATH DE number 2087445 (Why is no real title available?)
- scientific article; zbMATH DE number 1841809 (Why is no real title available?)
- scientific article; zbMATH DE number 234018 (Why is no real title available?)
- scientific article; zbMATH DE number 3245483 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- scientific article; zbMATH DE number 3410595 (Why is no real title available?)
- A Marriage of Rely/Guarantee and Separation Logic
- A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
- Algebras of modal operators and partial correctness
- An axiomatic basis for computer programming
- Automated Reasoning in Kleene Algebra
- Automated verification of refinement laws
- BI as an assertion language for mutable data structures
- Boolean Algebras with Operators. Part I
- Calculating with acyclic and cyclic lists
- Characterizing determinacy in Kleene algebras
- Concurrent Kleene Algebra
- Demonic operators and monotype factors
- Embedding a demonic semilattice in a relation algebra
- Foundations of concurrent Kleene algebra
- Frame rule for mutually recursive procedures manipulating pointers
- Kleene getting lazy
- Kleene under a modal demonic star
- On Hoare logic and Kleene algebra with tests
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Quantales and Temporal Logics
- Refinement Calculus
- Relation algebras
- Relational Methods in Computer Science
- Relational and Kleene-Algebraic Methods in Computer Science
- Resources, concurrency, and local reasoning
- Towards pointer algebra
Cited in
(28)- Algebraic neighbourhood logic
- Two for the price of one: lifting separation logic assertions
- Separation logic for non-local control flow and block scope variables
- A program construction and verification tool for separation logic
- Lightweight Separation
- A stone-type duality theorem for separation logic via its underlying bunched logics
- Transitive Separation Logic
- Modal algebra and Petri nets
- Towards algebraic separation logic
- Fictional separation logic
- An algebraic glimpse at bunched implications and separation logic
- Extended transitive separation logic
- Exploring modal worlds
- Looking at separation algebras with Boolean BI-eyes
- On the relation between concurrent separation logic and concurrent Kleene algebra
- Abstract dynamic frames
- False failure: creating failure models for separation logic
- Mechanised Separation Algebra
- The $$\theta $$-Join as a Join with $$\theta $$
- Variable side conditions and greatest relations in algebraic separation logic
- Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
- Abstract hidden Markov models: a monadic account of quantitative information flow
- Effect algebras, Girard quantales and complementation in separation logic
- Extending separation logic with fixpoints and postponed substitution
- Stone-type dualities for separation logics
- Developments in concurrent Kleene algebra
- Algebra of monotonic Boolean transformers
- Bringing Order to the Separation Logic Jungle
This page was built for publication: Algebraic separation logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549676)
