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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Theoretical computer science Ročník 412; číslo 44; s. 6135 - 6192
Hlavní autori:	Cousot, Patrick, Cousot, Radhia
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Oxford Elsevier B.V 14.10.2011 Elsevier
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!