Parsing as abstract interpretation of grammar semantics

Authors:
Patrick Cousot;Radhia Cousot
Affiliations:
Département d'informatique, École Normale Supérieure, 45 rue d'Ulm, 75230 Paris Cedex 05, France;Laboratoire d'informatique, CNRS & ÉÉcole Polytechnique, 91128 Palaiseau Cedex, France
Venue:
Theoretical Computer Science
Year:
2003

Languages and machines: an introduction to the theory of computer science

Languages and machines: an introduction to the theory of computer science
Types as abstract interpretations

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parsing of context-free languages

Handbook of formal languages, vol. 2
Temporal abstract interpretation

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An efficient context-free parsing algorithm

Communications of the ACM
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Systematic design of program analysis frameworks

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract)

AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form

Proceedings of the 7th International Conference on Computer Aided Verification

Automatic Verification by Abstract Interpretation

VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Parsing with derivatives: a functional pearl

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming

Hi-index	5.23

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