of Grammar Semantics Patrick Cousot Departement d'informatique Ecole normale...  Home/Search
Context
Related
| di.ens.fr/~cousot/...p5315442002.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di.ens.fr/~cous...publicationlist (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Earley's parsing algorithm is shown to be an abstract interpretation of a refinement of the derivation semantics of context-free grammars. (Update)
Active bibliography (related documents): More All
0.1: A Type System Equivalent to Model Checking - Naik (2003) (Correct)
0.1: A Type System Equivalent to a Model Checker - Naik, Palsberg (2003) (Correct)
0.1: Program Analysis Position Statement: The Abstract Interpretation.. - Cousot (1996) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ semantics-parsing,
author = "Of Grammar Semantics",
title = "Parsing as AbstractInterpretation",
url = "citeseer.ist.psu.edu/762864.html" }
Citations (may not include all citations):815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977
258 A lattice theoretical fixpoint theorem and its applications (context) - Tarski - 1955
97 An introduction to inductive definitions (context) - Aczel - 1977
58 the translation of languages from left to right (context) - Knuth - 1965
37 Types as abstract interpretations (context) - Cousot - 1997
29 Temporal abstract interpretation (context) - Cousot, Cousot - 2000
23 Constructiveversions of Tarski's fixed point theorems - Cousot, Cousot - 1979
22 cient context-free parsing algorithm (context) - Earley - 1970
16 Languages and Machines : An Introduction to the Theory of Co.. (context) - Sudkamp - 1996
13 Parsing of context-free languages - Sikkel, Nijholt - 1997
9 Compositional and inductive semantic definitions in fixpoint - Cousot, Cousot - 1995
1 Abstract interpretation of algebraic polynomial systems (context) - Cousot, Cousot - 1997
1 Systematicdesignofprogram analysis frameworks (context) - Cousot, Cousot - 1979
Documents on the same site (http://www.di.ens.fr/~cousot/publicationlist.html): More
Electronic Notes in Theoretical Computer Science 45 (2001) - Url Http Www (Correct)
Proving Program Invariance and Termination by Parametric .. - Ecole Normale Superieure (Correct)
Verification of Embedded Software: Problems and Perspectives - Cousot, Cousot (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC