Set-Based Analysis for Logic Programming and Tree Automata
No abstract available.
Related papers
- Paths vs. Trees in Set-Based Program Analysis POPL 2000
- Fully Automated Shape Analysis Based on Forest Automata CAV 2013
- Software model checking using languages of nested trees TOPLAS 2011
- Liquid Tree Automata CAV 2026
- Malware Analysis with Tree Automata Inference CAV 2011
- Forester: Shape Analysis Using Tree Automata - (Competition Contribution) TACAS 2015
- Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata CAV 2024
- Verifying Quantum Circuits with Level-Synchronized Tree Automata POPL 2025