Tree-Like Grammars and Separation Logic
No abstract available.
Related papers
- Context logic and tree update POPL 2005
- Modular Denotational Semantics for Effects with Guarded Interaction Trees POPL 2024
- Strong-separation Logic TOPLAS 2022
- Restricting grammars with tree automata OOPSLA 2017
- Automating Separation Logic with Trees and Data CAV 2014
- Semantics-Preserving Transformation of Context-Free Grammars into LL(1) Form Onward! 2025
- Reflection in attribute grammars GPCE 2019
- Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic CPP 2024