Heap Abstraction Beyond Context-Freeness

(2017) [Preprint]

Page(s): 44 Seiten

Authors

Authors

Arndt, Hannah
Jansen, Christina
Matheja, Christoph
Noll, Thomas

Identifier

  • REPORT NUMBER: RWTH-2018-221673