A Aralex Aachen research explorer

June 04, 2011 conference-paper

Separation logic + superposition calculus = heap theorem prover

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

DOI: 10.1145/1993498.1993563 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 27

A First-order Logic with Frames
2023 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

2

citations
A First-Order Logic with Frames
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

6

citations

2 results

References 0