Secure Programming via Visibly Pushdown Safety Games
Abstract elided by the publisher.
Related papers
- ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States TOPLAS 2019
- Symbolic Visibly Pushdown Automata CAV 2014
- Minimization of Visibly Pushdown Automata Using Partial Max-SAT TACAS 2017
- A derivative-based parser generator for visibly Pushdown grammars OOPSLA 2021
- A Derivative-based Parser Generator for Visibly Pushdown Grammars TOPLAS 2023
- V-Star: Learning Visibly Pushdown Grammars from Program Inputs PLDI 2024
- Pushdown Processes: Games and Model Checking CAV 1996
- A fixpoint calculus for local and global program flows POPL 2006