Patricia M. Hill, Roberto Bagnara, Enea Zaffanella  Home/Search
Context
Related
| cs.unipr.it/~bagnara/Pap...TPLP01R5.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.unipr.it/~bagnara/Pa...linkall (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: It is important that practical data-flow analyzers are backed by reliably proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic properties for an abstract domain to be well-defined and sound with respect to the concrete semantics. In logic programming, the abstract domain Sharing is a standard choice for sharing analysis for both practical work and further theoretical study. In spite of this, we found that there were no satisfactory... (Update)
Similar documents (at the sentence level):
40.6%: Soundness, Idempotence and Commutativity of Set-Sharing - Hill, Bagnara, Zaffanella (Correct)
Active bibliography (related documents): More All
0.8: A Correct, Precise and Efficient Integration of.. - Hill, Zaffanella.. (2001) (Correct)
0.8: Decomposing Non-Redundant Sharing by Complementation - Zaffanella, Hill, Bagnara (2001) (Correct)
0.5: Enhanced Sharing Analysis Techniques: A Comprehensive.. - Bagnara, Zaffanella, Hill (2000) (Correct)
Similar documents based on text: More All
1.5: The Correctness of Set-Sharing - Hill, Bagnara, Zaffanella (1998) (Correct)
BibTeX entry: (Update)
@misc{ hill-soundness,
author = "Patricia M. Hill and Roberto Bagnara and Enea Zaffanella",
title = "Soundness, Idempotence and Commutativity of Set-Sharing",
url = "citeseer.ist.psu.edu/421408.html" }
Citations (may not include all citations):759 Negation as failure (context) - Clark - 1978 ACM DBLP
634 A machine-oriented logic based on the resolution principle (context) - Robinson - 1965
170 ACM Transactions on Programming Languages and Systems (context) - Martelli, Montanari et al. - 1982
105 Compile-time derivation of variable dependency using abstrac.. - Muthukumar, Hermenegildo - 1992 ACM DBLP
94 Equations and inequations on finite and infinite trees (context) - Colmerauer - 1984 DBLP
88 Static analysis of logic programs for independent AND parall.. (context) - Jacobs, Langen - 1992 ACM
72 Prolog and infinite trees (context) - Colmerauer - 1982
59 Set-sharing is redundant for pair-sharing - Bagnara, Hill et al. - 2001 ACM DBLP
55 Data-Flow Analysis for Constraint Logic-Based Languages (context) - Bagnara - 1997
32 The correctness of set-sharing - Hill, Bagnara et al. - 1998 ACM DBLP
32 A synergistic analysis for sharing and groundness which trac.. - King - 1994
29 sharing and freeness (context) - King, Soper - 1994
27 Sharing is optimal (context) - Cortesi, File - 1999 DBLP
24 Enhanced sharing analysis techniques: A comprehensive evalua.. - Bagnara, Za et al. - 2000 DBLP
17 Decomposing non-redundant sharing by complementation - anella, Hill et al. ACM DBLP
17 Decomposing non-redundant sharing by complementation - anella, Hill et al. - 2001 ACM DBLP
16 Pair-sharing over rational trees (context) - King - 2000
14 Prolog-II as an instance of the logic programming scheme (context) - ar, Lassez et al. - 1987
13 Advanced Techniques for Approximating Variable Aliasing in L.. (context) - Langen - 1990 ACM
9 Widening Sharing - anella, Bagnara et al. ACM DBLP
7 the design of a correct freeness analysis for logic programs - Codish, Dams et al. - 1996
2 Accurate and e#cient approximation of variable aliasing in l.. (context) - Jacobs, Langen - 1989
2 Set-sharing is redundant for pairsharing (context) - Report, Bagnara et al. - 1997
2 Tree Constraints - Keisu - 1994
1 Complete axiomatizations of the algebras of finite (context) - Report, Maher - 1988
Documents on the same site (http://www.cs.unipr.it/~bagnara/Papers/PDF/linkall.html): More
Decomposing Non-Redundant Sharing by Complementation - Zaffanella, Hill, Bagnara (2001) (Correct)
Enhanced Sharing Analysis Techniques: A Comprehensive.. - Bagnara, Zaffanella, Hill (2000) (Correct)
A Unified Proof For The Convergence Of Jacobi And Gauss-Seidel.. - Bagnara (1995) (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