2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Matthew Hague, Vincent Penelle
Annotated pushdown automata provide an automaton model of higher-order recursion schemes, which may in turn be used to model higher-order programs for the purposes of verification.…