𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Parsing as abstract interpretation of grammar semantics

✍ Scribed by Patrick Cousot; Radhia Cousot

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
153 KB
Volume
290
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis

Earley's parsing algorithm is shown to be an abstract interpretation of a reΓΏnement of the derivation semantics of context-free grammars.

πŸ“œ SIMILAR VOLUMES

Class invariants as abstract interpretat
Class invariants as abstract interpretation of trace semantics
✍ Francesco Logozzo πŸ“‚ Article πŸ“… 2009 πŸ› Elsevier Science 🌐 English βš– 531 KB

We present a generic framework for the automatic and modular inference of sound class invariants for class-based object-oriented languages. We define a trace-based semantics for classes which considers all possible orderings, with all possible arguments, of invocations of all the methods of a class.