Reasoning in the Theory of Heap: Satisfiability and Interpolation

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-68446-4_9 ◽

2021 ◽

pp. 173-191

Author(s):

Zafer Esen ◽

Philipp Rümmer

Download Full-text