Roberto Bagnara, Enea Zaffanella, Patricia M. Hill  Home/Search
Context Related
| cs.unipr.it/~bagnara/Paper...PPDP00.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: Sharing, a domain due to D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of techniques, such as the standard integration of Sharing with freeness and linearity information, can significantly improve the precision of Sharing. However, a number of other proposals for refined domain combinations have been circulating for years. One feature that is common to these proposals is that they do not seem to have... (Update)
Cited by: More
Optimality in Goal-dependent Analysis of Sharing - Amato, Scozzari (2002) (Correct)
Finite-Tree Analysis for Constraint Logic-Based.. - Bagnara, Gori, Hill, .. (2001) (Correct)
Finite-Tree Analysis for Constraint Logic-Based Languages - Bagnara, Gori, Hill.. (2001) (Correct)
Similar documents (at the sentence level):
26.5%: Enhancing Sharing for Precision - Bagnara, Zaffanella, Hill (1999) (Correct)
24.4%: Enhanced Sharing Analysis Techniques: A Comprehensive.. - Bagnara, Zaffanella, Hill (2000) (Correct)
Active bibliography (related documents): More All
0.3: An Efficient and Precise Finite-Tree Analysis for.. - Bagnara, Zaffanella, .. (Correct)
0.3: Set-Sharing is Redundant for Pair-Sharing - Bagnara, Hill, al. (1997) (Correct)
0.2: A Correct, Precise and Efficient Integration of Set-Sharing.. - Hill, al. (2001) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.7: Soundness, Idempotence and Commutativity of Set-Sharing - Hill, Bagnara, Zaffanella (Correct)
Related documents from co-citation: More All
23: Finite-tree analysis for constraint logic-based languages - Bagnara, Gori et al. - 2001
21: Setsharing is redundant for pair-sharing - Bagnara, Hill et al. - 1997
19: Pair-sharing over rational trees (context) - King - 2000
BibTeX entry: (Update)
Bagnara, R., Za anella, E. and Hill, P. M. (2000). Enhanced sharing analysis techniques: A comprehensive evaluation, in M. Gabbrielli and F. Pfenning (eds), Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, Association for Computing Machinery, Montreal, Canada, pp. 103-114. http://citeseer.ist.psu.edu/article/bagnara00enhanced.html More
@inproceedings{ bagnara00enhanced,
author = "Roberto Bagnara and Enea Zaffanella and Patricia M. Hill",
title = "Enhanced sharing analysis techniques: a comprehensive evaluation",
booktitle = "Principles and Practice of Declarative Programming",
pages = "103-114",
year = "2000",
url = "citeseer.ist.psu.edu/article/bagnara00enhanced.html" }
Citations (may not include all citations):815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
77 Combinations of abstract domains for logic programming - Cortesi, Le Charlier et al. - 1994
59 Set-sharing is redundant for pair-sharing - Bagnara, Hill et al. - 2000
59 Set-sharing is redundant for pair-sharing - Bagnara, Hill et al. - 1997
58 Two classes of Boolean functions for dependency analysis - Armstrong, Marriott et al. - 1998
55 Data-Flow Analysis for Constraint Logic-Based Languages (context) - Bagnara - 1997
30 AND-parallelism of logic programs based on a static data dep.. (context) - Chang, Despain et al. - 1985
27 Sharing is optimal (context) - Cortesi, File - 1999
25 Sharing and groundness dependencies in logic programs - Codish, Sndergaard et al. - 1999
18 Comparison of abstract interpretations (context) - Cortesi, File et al. - 1992
17 A comparison of three occur-check analysers - Crnogorac, Kelly et al.
11 Department of Computer Science (context) - Bruynooghe, Codish et al. - 1994
7 cient structural information analysis for real CLP languages (context) - Bagnara, Hill et al. - 2000
4 Structural information analysis for CLP languages - Bagnara - 1997
The graph only includes citing articles where the year of publication is known.
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)
A Unified Proof For The Convergence Of Jacobi And Gauss-Seidel.. - Bagnara (1995) (Correct)
The Correctness of Set-Sharing - Hill, Bagnara, Zaffanella (1998) (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