Graph-based shape analysis beyond context-freeness

DOI10.1007/978-3-319-92970-5_17zbMath1509.68057arXiv1705.03754OpenAlexW2797952382MaRDI QIDQ6039389

Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll

Publication date: 5 May 2023

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1705.03754

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Data structures (68P05)

This page was built for publication: Graph-based shape analysis beyond context-freeness