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

Author： Cousot  

Publisher： Elsevier

ISSN： 0304-3975

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

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

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

A Constructive Algebraic Hierarchy in Coq

By Geuvers H.   Pollack R.   Wiedijk F.   Zwanenburg J.  

Journal of Symbolic Computation, Vol. 34, Iss. 4, 2002-10 ,pp. : 271-286

Academic Press

Access to resources Recommend Favorite

Design of material handling equipment selection system: an integration of expert system with analytic hierarchy process approach

By Chan F.T.S.  

Integrated Manufacturing Systems, Vol. 13, Iss. 1, 2002-02 ,pp. : 58-68

Emerald Group Publishing Ltd

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