Symbolic Visibly Pushdown Automata
Abstract elided by the publisher.
Related papers
- Minimization of Visibly Pushdown Automata Using Partial Max-SAT TACAS 2017
- ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States TOPLAS 2019
- V-Star: Learning Visibly Pushdown Grammars from Program Inputs PLDI 2024
- SMT-Based Symbolic Model-Checking for Operator Precedence Languages CAV 2024
- Secure Programming via Visibly Pushdown Safety Games CAV 2012
- A derivative-based parser generator for visibly Pushdown grammars OOPSLA 2021
- A Derivative-based Parser Generator for Visibly Pushdown Grammars TOPLAS 2023
- Software model checking using languages of nested trees TOPLAS 2011