Grammar semantics, analysis and parsing by abstract interpretation

DOI10.1016/j.tcs.2011.06.005zbMath1248.68316OpenAlexW2073050028MaRDI QIDQ655410

Patrick Cousot, Radhia Cousot

Publication date: 4 January 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.06.005

zbMATH Keywords

context-free grammarabstract interpretationabstract semanticsbottom-up semanticsgrammar flow analysisgrammar problemtop-down semantics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items (4)

Infinite objects in type theory ⋮ An abstract interpretation-based model for safety semantics ⋮ Refining and Compressing Abstract Model Checking1 1The work is partially supported by MURST project: Certificazione automatica di programmi mediante interpretazione astratta. ⋮ Applications of polyhedral computations to the analysis and verification of hardware and software systems

Uses Software

• ALGOL 60

Cites Work

• A note on two problems in connexion with graphs
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• Abstract interpretation of resolution-based semantics
• Compiler construction. Theory, design, generation
• A generalization of Dijkstra's algorithm
• Constructive versions of Tarski's fixed point theorems
• Marcus contextual grammars
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Automatische Rechenplanfertigung bei programmgesteuerten Rechenmaschinen
• On a Theorem of R. Jungen
• An Incremental Algorithm for a Generalization of the Shortest-Path Problem
• From Contextual Grammars to Range Concatenation Grammars
• Formal certification of a compiler back-end or
• Recognition and parsing of context-free languages in time n3
• Three models for the description of language
• Two Families of Languages Related to ALGOL
• On context-free languages and push-down automata
• Programming Languages and Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Grammar semantics, analysis and parsing by abstract interpretation