Heap Abstraction Beyond Context-Freeness

Arndt, Hannah (Corresponding author); Jansen, Christina (Corresponding author); Matheja, Christoph (Corresponding author); Noll, Thomas (Corresponding author)

(2017) [Preprint]

Page(s): 44 Seiten

Identifier

  • REPORT NUMBER: RWTH-2018-221673