@inproceedings{43ddc9f3f23641d2b61cc9b19a8fd07e,
title = "Grammar analysis and parsing by abstract interpretation",
abstract = "We study abstract interpretations of a fixpoint protoderivation semantics defining the maximal derivations of a transitional semantics of context-free grammars akin to pushdown automata. The result is a hierarchy of bottom-up or top-down semantics refining the classical equational and derivational language semantics and including Knuth grammar problem, classical grammar flow analysis algorithms, and parsing algorithms.",
author = "Patrick Cousot and Radhia Cousot",
year = "2007",
doi = "10.1007/978-3-540-71322-7_9",
language = "English (US)",
isbn = "9783540713159",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "175--200",
booktitle = "Program Analysis and Compilation, Theory and Practice - Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday",
note = "Symposium on Program Analysis and Compilation, Theory and Practice. Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday ; Conference date: 09-06-2006 Through 10-06-2006",
}