A Aralex Aachen research explorer

January 08, 2014 conference-paper

Modular reasoning about heap paths via effectively propositional formulas

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/2535838.2535854 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 33

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