Tree-Like Grammars and Separation Logic.

Christoph Matheja, Christina Jansen, Thomas Noll

Browse the full APLAS paper archive.