@inproceedings{464f838918a04d4994781b8884cfe11c,
title = "A saturation method for collapsible pushdown systems",
abstract = "We introduce a natural extension of collapsible pushdown systems called annotated pushdown systems that replaces collapse links with stack annotations. We believe this new model has many advantages. We present a saturation method for global backwards reachability analysis of these models that can also be used to analyse collapsible pushdown systems. Beginning with an automaton representing a set of configurations, we build an automaton accepting all configurations that can reach this set. We also improve upon previous saturation techniques for higher-order pushdown systems by significantly reducing the size of the automaton constructed and simplifying the algorithm and proofs.",
author = "Chris Broadbent and Arnaud Carayol and Matthew Hague and Olivier Serre",
year = "2012",
month = jan,
day = "1",
doi = "10.1007/978-3-642-31585-5\_18",
language = "English",
isbn = "9783642315848",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
number = "PART 2",
pages = "165--176",
booktitle = "Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Proceedings",
edition = "PART 2",
note = "39th International Colloquium on Automata, Languages, and Programming, ICALP 2012 ; Conference date: 09-07-2012 Through 13-07-2012",
}