Parsing as abstract interpretation of grammar semantics

Patrick Cousot, Radhia Cousot

Research output: Contribution to journalArticlepeer-review

Abstract

An Early's parsing algorithm was shown to be an abstract interpretation of a refinement of the derivation semantics of context-free grammars. A compile-time/static analysis of the grammar was used for top-down left-to-right generation of sets of grammar items abstracted. It was found that the preliminary static grammar analysis was used to ensure that the bottom-up recognition with left context was deterministic.

Original languageEnglish (US)
Pages (from-to)531-544
Number of pages14
JournalTheoretical Computer Science
Volume290
Issue number1
DOIs
StatePublished - Jan 1 2003

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Parsing as abstract interpretation of grammar semantics'. Together they form a unique fingerprint.

Cite this