Parsing as abstract interpretation of gr
β
Patrick Cousot; Radhia Cousot
π
Article
π
2003
π
Elsevier Science
π
English
β 153 KB
Earley's parsing algorithm is shown to be an abstract interpretation of a reΓΏnement of the derivation semantics of context-free grammars.