Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

Research output: Contribution to journal › Article › peer-review

Original language	English
Article number	14
Pages (from-to)	1-45
Number of pages	45
Journal	Logical Methods in Computer Science
Volume	4
Issue number	4
DOIs	https://doi.org/10.2168/LMCS-4(4:14)2008
Publication status	Published - 5 Dec 2008

Access to Document

Symbolic Backwards Reachability Analysis for Higher‐Order Pushdown Systems
Hague, M. & Ong, C.-H. L., 2007, FoSSaCS: Foundations of Software Science and Computation Structures.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

@article{2954d7ba99a24cd785467f07e4d32083,

title = "Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems",

author = "Matthew Hague and Ong, \{C.-H. Luke\}",

year = "2008",

month = dec,

day = "5",

doi = "10.2168/LMCS-4(4:14)2008",

language = "English",

volume = "4",

pages = "1--45",

journal = "Logical Methods in Computer Science",

publisher = "Logical Methods in Computer Science",

number = "4",

}