activity
20172020
most citedHigher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties

3 citations · 4 across the 4 of their papers we have counts for

collaborators
Showing 2017 · cs.LOShow all

1 paper · 2 filters

cs.LO2017

C-SHORe: Higher-Order Verification via Collapsible Pushdown System Saturation

Christopher Broadbent, Arnaud Carayol, Matthew Hague +1

Higher-order recursion schemes (HORS) have received much attention as a useful abstraction of higher-order functional programs with a number of new verification techniques employin…