3 citations found. Retrieving documents...
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