Separation Logic with Monadic Inductive Definitions and Implicit Existentials

DOI10.1007/978-3-319-26529-2_5zbMath1329.03070OpenAlexW2395497157MaRDI QIDQ3460899

Daisuke Kimura, Makoto Tatsuta

Publication date: 8 January 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-26529-2_5

Mathematics Subject Classification ID

Logic in computer science (03B70) Data structures (68P05)

Related Items (3)

Decision Procedure for Entailment of Symbolic Heaps with Arrays ⋮ Unnamed Item ⋮ Strong-separation logic

This page was built for publication: Separation Logic with Monadic Inductive Definitions and Implicit Existentials