Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

Matthew Hague, C.-H. Luke Ong

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Article number14
Pages (from-to)1-45
Number of pages45
JournalLogical Methods in Computer Science
Volume4
Issue number4
DOIs
Publication statusPublished - 5 Dec 2008

Cite this