Author： Hill Patricia
Publisher： Springer Publishing Company
ISSN： 1388-3690
Source： LISP and Symbolic Computation, Vol.19, Iss.4, 2006-12, pp. : 415-463
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
Algebraic Power Analysis by Abstract Interpretation
LISP and Symbolic Computation, Vol. 17, Iss. 4, 2004-12 ,pp. :
Access to resources
Recommend
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. :
The quotient of an abstract interpretation
By Cortesi A. File G. Winsborough W.
Theoretical Computer Science, Vol. 202, Iss. 1, 1998-07 ,pp. :
Abstract interpretation: a kind of magic
By Nilsson U.
Theoretical Computer Science, Vol. 142, Iss. 1, 1995-05 ,pp. :