Strong-separation logic (Q2233486)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Strong-separation logic	scientific article

Statements

scholarly article

0 references

Strong-separation logic (English)

0 references

0 references

Florian Zuleger

0 references

publication date

18 October 2021

0 references

full work available at URL

https://arxiv.org/abs/2001.06235

0 references

MaRDI profile type

MaRDI publication profile

0 references

Foundations for Decision Problems in Separation Logic with General Inductive Predicates

0 references

Program Logics for Certified Compilers

0 references

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

0 references

Programming Languages and Systems

0 references

Permission accounting in separation logic

0 references

On the almighty wand

0 references

Compositional Shape Analysis by Means of Bi-Abduction

0 references

0 references

Tractable Reasoning in a Fragment of Separation Logic

0 references

Expressive completeness of separation logic with two variables and no separating conjunction

0 references

Separation Logic with One Quantified Variable

0 references

The effects of adding reachability predicates in propositional separation logic

0 references

The Bernays-Schönfinkel-Ramsey class of separation logic on arbitrary domains

0 references

A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints

0 references

The Tree Width of Separation Logic with Recursive Definitions

0 references

Deciding Entailments in Inductive Separation Logic with Tree Automata

0 references

BI as an assertion language for mutable data structures

0 references

A separation logic with data: small models and automation

0 references

A decidable fragment in separation logic with inductive predicates and arithmetic

0 references

Decidable logics combining heap structures and data

0 references

Resources, concurrency, and local reasoning

0 references

Strong-separation logic

0 references

Separation Logic Modulo Theories

0 references

Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic

0 references

A decision procedure for separation logic in SMT

0 references

Separation Logic with Monadic Inductive Definitions and Implicit Existentials

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-030-72019-3_24

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2233486

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2233486&oldid=36722607"