Patrick Cousot and Radhia Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511--547, August 1992. (pp 4, 131) Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Semantics-based Program Analysis via - Symbolic Composition Of Self-citation (Cousot) (Correct)
No context found.
Patrick Cousot and Radhia Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511--547, August 1992. (pp 4, 131)
A class of polynomially solvable range constraints for interval .. - Su, Wagner (2005) (1 citation) (Correct)
No context found.
P. Cousot, R. Cousot, Abstract interpretation frameworks, J. Logic Comput. 2 (4) (1992) 511--547.
A Framework for Certified Program Analysis and Its.. - Chang, Chlipala, Necula (2006) (Correct)
No context found.
P. Cousot and R. Cousot. Abstract interpretation frameworks. J. Log. Comput., 2(4):511--547, 1992.
An Automata-theoretic Approach to Interprocedural Data-flow.. - Esparza, Knoop (1999) (27 citations) (Correct)
No context found.
P. Cousot and R. Cousot. Abstract interpretation frameworks. J. of Logic and Computation, 2(4):511 -- 547, 1992.
Using Abstractions for Heuristic State Space Exploration of.. - Lettrari (Correct)
No context found.
P. Cousot and R. Cousot. Abstract Interpretation Framework. Journal of Logic and Computation, 4(2):511-547, August 1992.
Static Analysis of Digital Filters - Feret (2004) (Correct)
No context found.
P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of logic and computation, 2(4), August 1992.
Efficient Analysis of Infinite CSP_Z Specifications - Farias, Mota, Sampaio (Correct)
No context found.
Cousot, P., Cousot, R.: Abstract Interpretation Frameworks. J. Logic. and Comp., 2(4) (1992) 511 - 547
Approximating Module Semantics with Constraints - Logozzo (2004) (Correct)
No context found.
P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4), 1992.
Widening Operators for Powerset Domains - Bagnara, Hill, Zaffanella (2004) (3 citations) (Correct)
No context found.
P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511--547, 1992.
Improving the Static Analysis of Loops - Dynamic Partitioning Techniques (2003) (Correct)
No context found.
P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Symbolic Computation, 2(4):511--547, 1992.
Widening Operators for Powerset Domains - Roberto Bagnara Patricia (2004) (3 citations) (Correct)
No context found.
P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511--547, 1992.
Precise and Efficient Static Array Bound Checking for Large.. - Venet, Brat (2004) (Correct)
No context found.
P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511--547, 1992.
Temporal Property-driven Verification by Abstract Interpretation - Massé (2002) (Correct)
No context found.
P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511--547, August 1992.
A Scalable Nonuniform Pointer Analysis for Embedded Programs - Venet (Correct)
No context found.
P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511--547, 1992.
Widening Operators for Powerset Domains - Bagnara, Hill, Zaffanella (2004) (3 citations) (Correct)
No context found.
P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511--547, 1992.
Precise Interprocedural Dependence Analysis of Parallel Programs - Müller-Olm (2004) (Correct)
No context found.
P. Cousot, R. Cousot, Abstract interpretation frameworks, J. Logic Computat. 4 (2) (1992) 511-547.
Automatic Analysis of Pointer Aliasing for Untyped Programs - Venet (1999) (1 citation) (Correct)
No context found.
P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of logic and computation, 2(4):511--547, August 1992.
A Class of Polynomially Solvable Range Constraints for Interval .. - Su, Wagner (Correct)
No context found.
P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511--547, 1992.
Decidability and Complexity Issues for Infinite-State Processes - Srba (2003) (Correct)
No context found.
P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511--547, 1992.
AbsCon: a prototype to solve CSPs with - Ion Merchez Lecoutre (2001) (Correct)
No context found.
P. Cousot and R. Cousot. Abstract interpretation frameworks. Logic and Computation, 2(4):447--511, August 1992.
Nonuniform Alias Analysis of Recursive Data Structures and Arrays - Venet (2002) (1 citation) (Correct)
No context found.
P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of logic and computation, 2(4):511-547, August 1992.
Finite-Tree Analysis for Constraint Logic-Based.. - Bagnara, Gori, Hill, .. (2001) (1 citation) (Correct)
No context found.
P. Cousot, R. Cousot, Abstract interpretation frameworks, Journal of Logic and Computation 2 (4) (1992) 511--547.
Finite-Tree Analysis for Constraint Logic-Based Languages - Bagnara, Gori, Hill.. (2001) (1 citation) (Correct)
No context found.
P. Cousot, R. Cousot, Abstract interpretation frameworks, Journal of Logic and Computation 2 (4) (1992) 511--547.
A CSP abstraction framework - Lecoutre Merchez Boussemart (2000) (1 citation) (Correct)
No context found.
P. Cousot and R. Cousot. Abstract interpretation frameworks. Logic and Computation, 2(4):447--511, August 1992.
Widening Operators for Powerset Domains - Bagnara, Hill, Zaffanella (2004) (3 citations) (Correct)
No context found.
P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511--547, 1992.
First 50 documents Next 50
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