A. Cortesi, G. File, and W. Winsborough. The quotient of an abstract interpretation for comparing static analyses. In GULP-PRODE'94 Joint Conference on Declarative Programming, pages 372--397, 1994. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
An Efficient and Precise Finite-Tree Analysis for.. - Bagnara, Zaffanella, .. (Correct)
Boolean Functions for Finite-Tree Dependencies - Bagnara, Zaffanella, Gori (2001) (Correct)
Boolean Functions for Finite-Tree Dependencies - Bagnara, Zaffanella, Gori (2001) (Correct)
Sharing Revisited - Bagnara, Hill, Zaffanella (1997) (Correct)
Decomposing Non-Redundant Sharing by Complementation - Zaffanella, Hill, Bagnara (Correct)
Decomposing Non-Redundant Sharing by Complementation - Zaffanella, Hill, Bagnara (Correct)
Sharing Revisited - Bagnara, Hill, Zaffanella (1997) (Correct)
Decomposing Non-Redundant Sharing by Complementation - Zaffanella, Hill, Bagnara (Correct)
Decomposing Non-Redundant Sharing by Complementation - Zaffanella, Hill, Bagnara (2001) (Correct)
Quotienting Share for Dependency Analysis - King, Smaus, Hill (1999) (4 citations) (Correct)
Practical Dependency Analysis through a Share Quotient - King, Hill, Smaus (1998) (Correct)
Sharing Revisited - Bagnara, Hill, Zaffanella (1997) (Correct)
Set-Sharing is not always redundant for Pair-Sharing - Bueno, Banda (Correct)
Finite-Tree Analysis for Constraint Logic-Based.. - Bagnara, Gori, Hill, .. (2001) (1 citation) (Correct)
Finite-Tree Analysis for Constraint Logic-Based Languages - Bagnara, Gori, Hill.. (2001) (1 citation) (Correct)
Finite-Tree Analysis for Constraint Logic-Based Languages - Bagnara, Gori, Hill.. (2001) (1 citation) (Correct)
Finite-Tree Analysis for Constraint Logic-Based.. - Bagnara, Gori, Hill, .. (2001) (1 citation) (Correct)
Set-Sharing is Redundant for Pair-Sharing - Bagnara, Hill, al. (1997) (11 citations) (Correct)
Set-Sharing is Redundant for Pair-Sharing - Bagnara, Hill, Zaffanella (1997) (11 citations) (Correct)
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