Grammar semantics, analysis and parsing by abstract interpretation

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 l...

Full description

Saved in:
Bibliographic Details
Published in:Theoretical computer science Vol. 412; no. 44; pp. 6135 - 6192
Main Authors: Cousot, Patrick, Cousot, Radhia
Format: Journal Article
Language:English
Published: Oxford Elsevier B.V 14.10.2011
Elsevier
Subjects:
Abstract interpretation
Abstract semantics
Algorithmics. Computability. Computer arithmetics
Algorithms
Applied sciences
Automation
Bottom-up semantics
Computer science; control theory; systems
Context-free grammar
Derivation
Exact sciences and technology
Grammar flow analysis
Grammar problem
Grammars
Hierarchies
Language theory and syntactical analysis
Logic and foundations
Mathematical logic, foundations, set theory
Mathematics
Miscellaneous
Parsing
Parsing algorithms
Recursion theory
Refining
Sciences and techniques of general use
Semantics
Theoretical computing
Top-down semantics
Top-down semantics
Grammar problem
Parsing
Context-free grammar
Bottom-up semantics
Grammar flow analysis
Abstract interpretation
Abstract semantics
Automaton
Computer theory
Semantic analysis
Flow
Context free grammar
Algorithm analysis
ISSN:0304-3975, 1879-2294
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 problems, classical grammar flow analysis algorithms and parsing algorithms.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0304-3975
1879-2294
DOI:10.1016/j.tcs.2011.06.005