Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic.

Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger

Browse the full LPAR paper archive.