M. Codish, D. Dams, and E. Yardeni. Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis. In Koichi Furukawa, editor, Proceedings of the Eighth International Conference on Logic Programming, pages 79--93. The MIT Press, 1991. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Share × F ree Revisited - King (1995) (Correct)
A Synergistic Analysis for Sharing and Groundness which traces.. - King (1994) (30 citations) (Correct)
A Correct, Precise and Efficient Integration of Set-Sharing.. - Hill, al. (2001) (Correct)
A Correct, Precise and Efficient Integration of.. - Hill, Zaffanella.. (2001) (Correct)
Finite-Tree Analysis for Constraint Logic-Based Languages - Bagnara, Gori, Hill.. (2001) (1 citation) (Correct)
Set-Sharing is Redundant for Pair-Sharing - Bagnara, Hill, al. (1997) (11 citations) (Correct)
A Synergistic Analysis for Sharing and Groundness which traces.. - King (1994) (30 citations) (Correct)
Logic Programming With the Occur-Check - Hill (1994) (Correct)
Type Analysis of Logic Programs in the Presence of Type Definitions - Lu (1995) (1 citation) (Correct)
Share × Free Revisited - King (1995) (Correct)
Polymorphic Type Analysis in Logic Programs by Abstract.. - Lu (1998) (3 citations) (Correct)
A Polymorphic Groundness Analysis of Logic Programs - Lu (Correct)
Redundancy of Variables in CLP(R) - Macdonald, Stuckey, Yap (Correct)
A Comparison of Three Occur-Check Analysers - Crnogorac, Kelly, Søndergaard (1996) (15 citations) (Correct)
In Proc. of International Logic Programming Symposium '94 - Effectiveness Of Global (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)
An Efficient and Precise Finite-Tree Analysis for.. - Bagnara, Zaffanella, .. (Correct)
An Algebraic Approach to Sharing Analysis of Logic Programs - Codish, Lagoon, Bueno (1998) (5 citations) Self-citation (Codish) (Correct)
A Composite Domain for Freeness, Sharing, and.. - Bruynooghe, Codish.. (1994) Self-citation (Codish) (Correct)
An Algebraic Approach to Sharing Analysis of Logic Programs - Codish, Lagoon, Bueno (1997) (5 citations) Self-citation (Codish) (Correct)
On the Design of a Correct Freeness Analysis for Logic.. - Codish, Dams, Bruynooghe (1996) (4 citations) Self-citation (Codish Dams) (Correct)
Abstracting Unification: A Key Step in the Design of.. - Bruynooghe, Codish.. (1995) Self-citation (Codish) (Correct)
First 50 documents
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