Tree-Like Grammars and Separation Logic

DOI10.1007/978-3-319-26529-2_6zbMath1329.68154OpenAlexW2294579855MaRDI QIDQ3460900

Christoph Matheja, Christina Jansen, Thomas Noll

Publication date: 8 January 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-26529-2_6

zbMATH Keywords

separation logicentailment checkingheap abstractionhyperedge replacement grammars

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Data structures (68P05)

This page was built for publication: Tree-Like Grammars and Separation Logic