![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Cortesi A. File G. Winsborough W.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.202, Iss.1, 1998-07, pp. : 163-192
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Abstract interpretation of mobile ambients
By Nielson F. Hansen R.R. Nielson H.R.
Science of Computer Programming, Vol. 47, Iss. 2, 2003-05 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Abstract interpretation: a kind of magic
By Nilsson U.
Theoretical Computer Science, Vol. 142, Iss. 1, 1995-05 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Algebraic Power Analysis by Abstract Interpretation
LISP and Symbolic Computation, Vol. 17, Iss. 4, 2004-12 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Refining Model Checking by Abstract Interpretation
By Cousot P.
Automated Software Engineering, Vol. 6, Iss. 1, 1999-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Deriving escape analysis by abstract interpretation
LISP and Symbolic Computation, Vol. 19, Iss. 4, 2006-12 ,pp. :