Parsing as abstract interpretation of grammar semantics

Earley's parsing algorithm is shown to be an abstract interpretation of a refinement of the derivation semantics of context-free grammars.

Saved in:
Bibliographic Details
Published in:Theoretical computer science 2003, Vol.290 (1), p.531-544
Main Authors: Cousot, Patrick, Cousot, Radhia
Format: Article
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Language theory and syntactical analysis
Theoretical computing
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Earley's parsing algorithm is shown to be an abstract interpretation of a refinement of the derivation semantics of context-free grammars.
ISSN:0304-3975
1879-2294
DOI:10.1016/S0304-3975(02)00034-8