C-SHORe: A Collapsible Approach to Verifying Higher-Order Programs

Chris Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

81 Downloads (Pure)

1 Conference contribution

1 results

Filter

2012

A Saturation Method for Collapsible Pushdown Systems
Broadbent, C., Carayol, A., Hague, M. & Serre, O., 2012, ICALP: International Colloquium on Automata, Languages and Programming.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution