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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theoretical computer science Jg. 412; H. 44; S. 6135 - 6192
Hauptverfasser: Cousot, Patrick, Cousot, Radhia
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Oxford Elsevier B.V 14.10.2011
Elsevier
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
Bibliographie: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