Symbolic Backwards Reachability Analysis for Higher‐Order Pushdown Systems

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

Original language	English
Title of host publication	FoSSaCS: Foundations of Software Science and Computation Structures
Publication status	Published - 2007
Event	FoSSaCS: Foundations of Software Science and Computation Structures - Braga, Portugal Duration: 24 Mar 2007 → 1 Apr 2007

Conference	FoSSaCS: Foundations of Software Science and Computation Structures
Country/Territory	Portugal
City	Braga
Period	24/03/07 → 1/04/07

Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
Hague, M. & Ong, C.-H. L., 5 Dec 2008, In: Logical Methods in Computer Science. 4, 4, p. 1-45 45 p., 14.
Research output: Contribution to journal › Article › peer-review

Cite this

@inproceedings{085f0d1641ca4c8fb1ee19a1358750e5,

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

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

year = "2007",

language = "English",

booktitle = "FoSSaCS: Foundations of Software Science and Computation Structures",

note = "FoSSaCS: Foundations of Software Science and Computation Structures ; Conference date: 24-03-2007 Through 01-04-2007",

}

TY - GEN

T1 - Symbolic Backwards Reachability Analysis for Higher‐Order Pushdown Systems

AU - Hague, Matthew

AU - Ong, C.-H. Luke

PY - 2007

Y1 - 2007

M3 - Conference contribution

BT - FoSSaCS: Foundations of Software Science and Computation Structures

T2 - FoSSaCS: Foundations of Software Science and Computation Structures

Y2 - 24 March 2007 through 1 April 2007

ER -