Unboundedness and downward closures of higher-order pushdown automata

Matthew Hague
, Jonathan Kochems
, C.-H. Luke Ong

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

138 Downloads (Pure)

1 results

Filter

Finished

Verification of Concurrent and Higher-Order Recursive Programs
Hague, M. (PI)
Eng & Phys Sci Res Council EPSRC
1/05/13 → 30/04/18
Project: Research