Parsing as abstract interpretation of grammar semantics

Author： Cousot P.   Cousot R.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.290, Iss.1, 2003-01, pp. : 531-544

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Trace-Based Abstract Interpretation of Operational Semantics

By Schmidt D.A.  

LISP and Symbolic Computation, Vol. 10, Iss. 3, 1998-05 ,pp. : 237-271

Springer Publishing Company

Access to resources Recommend Favorite

Constructive design of a hierarchy of semantics of a transition system by abstract interpretation

By Cousot  

Theoretical Computer Science, Vol. 277, Iss. 1, 2002-04 ,pp. : 47-103

Elsevier

Access to resources Recommend Favorite

Abstract fairness and semantics

By Nolte D.   Priese L.  

Theoretical Computer Science, Vol. 177, Iss. 1, 1997-04 ,pp. : 139-153

Elsevier

Access to resources Recommend Favorite

A fully abstract denotational semantics for the -calculus

By Hennessy M.  

Theoretical Computer Science, Vol. 278, Iss. 1, 2002-05 ,pp. : 53-89

Elsevier

Access to resources Recommend Favorite

Compilation versus abstract machines for fast parsing of typed feature structure grammars

By Brown J.C.   Manandhar S.  

Future Generation Computer Systems, Vol. 16, Iss. 7, 2000-05 ,pp. : 771-791

Elsevier

Access to resources Recommend Favorite