Trace-Based Abstract Interpretation of Operational Semantics

ISSN： 1388-3690

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

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

Parsing as abstract interpretation of grammar semantics

By Cousot P. Cousot R.

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

Elsevier

Access to resources Recommend Favorite

Abstract machine construction through operational semantics refinements

By Cabestre F. Percebois C. Bodeveix J.-P.

Future Generation Computer Systems, Vol. 16, Iss. 7, 2000-05 ,pp. : 753-769

Elsevier

Access to resources Recommend Favorite

Operational and abstract semantics of the query language G-Log

By Cortesi A. Dovier A. Quintarelli E. Tanca L.

Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. : 521-560

Elsevier

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

Operational Semantics of a Focusing Debugger

By Bernstein K.L. Stark E.W.

Electronic Notes in Theoretical Computer Science, Vol. 1, Iss. 1, 2004-01 ,pp. : 1-19

Elsevier

Access to resources Recommend Favorite