A Saturation Method for Collapsible Pushdown Systems - Université Paris Cité Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

A Saturation Method for Collapsible Pushdown Systems

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (281.95 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00694991 , version 1 (07-05-2012)

Identifiants

Citer

Christopher Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre. A Saturation Method for Collapsible Pushdown Systems. Automata, Languages and Programming, 39th International Colloquium, ICALP 2012, 2012, Warwick, United Kingdom. pp.165-176, ⟨10.1007/978-3-642-31585-5_18⟩. ⟨hal-00694991⟩
268 Consultations
161 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More