A. Min. The octagon abstract domain. In AST'01 in Working Conference on Reverse Engineering 2001. IEEE CS Press, October 2001. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Relational Abstraction for Functions - Jeannet Gopan And (Correct)
No context found.
A. Min. The octagon abstract domain. In AST'01 in Working Conference on Reverse Engineering 2001. IEEE CS Press, October 2001.
HOIST: A System for Automatically Deriving Static Analyzers.. - Regehr, Reid (2004) (Correct)
No context found.
Antoine Min e. The octagon abstract domain. In Proc. of the 8th Working Conference on Reverse Engineering (WCRE), Stuttgart, Germany, October 2001.
Modular analysis of a circuit description language by abstract.. - Hymans (2002) (1 citation) (Correct)
No context found.
A. Mine. The octagon abstract domain. In AST 2001 in WCRE 2001, IEEE, pages 310-319. IEEE CS Press, October 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC