Heap Abstraction Beyond Context-Freeness

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

(2017) [Preprint]

Seite(n): 44 Seiten

Identifikationsnummern

  • REPORT NUMBER: RWTH-2018-221673