Andy King  Home/Search
Context Related
| cs.kent.ac.uk/pubs/1994/67...content.ps 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.kent.ac.uk/pubs/1994/677/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Accurate variable sharing information is crucial both in the automatic parallelisation and in the optimisation of sequential logic programs. (Update)
Context of citations to this paper: More
...Italy, bagnara cs.unipr.it. 1 a good degree of accuracy (however, freeness information was not exploited to improve aliasing) King [27] also shown how a more refined tracking of linearity allows for further precision improvements. The synergy attainable from a bi...
.... Researchers are primarily concerned with extending the domain with linearity, freeness, depth k abstract substitutions and so on [3, 4, 6, 13, 14, 18]. Key properties such as commutativity and soundness of this domain and its associated abstract operations are normally...
Cited by: More
Share × F ree Revisited - King (1995) (Correct)
A Correct, Precise and Efficient Integration of Set-Sharing.. - Hill, al. (2001) (Correct)
Soundness, Idempotence and Commutativity of Set-Sharing - Hill, Bagnara, Zaffanella (1998) (Correct)
Similar documents (at the sentence level):
10.2%: Share × Free Revisited - King (1995) (Correct)
Active bibliography (related documents): More All
2.0: A Synergistic Analysis for Sharing and Groundness which traces.. - King (1994) (Correct)
0.2: A Composite Domain for Freeness, Sharing, and.. - Bruynooghe, Codish.. (1994) (Correct)
0.2: On the Design of a Correct Freeness Analysis for Logic.. - Codish, Dams, Bruynooghe (1996) (Correct)
Similar documents based on text: More All
0.1: Sharing and Groundness Dependencies in Logic Programs - Codish.. (1999) (Correct)
0.1: Abstracting Numeric Constraints with Boolean Functions - Howe, King (Correct)
0.1: Logical Optimality of Groundness Analysis - Scozzari (1997) (Correct)
Related documents from co-citation: More All
25: Static analysis of logic programs for independent ANDparallelism (context) - Jacobs, Langen - 1992
22: sharing and freeness (context) - King, Soper - 1994
21: Setsharing is redundant for pair-sharing - Bagnara, Hill et al. - 1997
BibTeX entry: (Update)
A. King. A synergistic analysis for sharing and groundness which traces linearity. In D. Sannella, editor, Proceedings of Fifth European Symposium on Programming Languages and Systems -- ESOP'94, pages 363--378, Edinburgh, 1994. SpringerVerlag. http://citeseer.ist.psu.edu/king94synergistic.html More
@inproceedings{ king94synergistic,
author = "A. King",
title = "A {S}ynergistic {A}nalysis for {S}haring and {G}roundness which {T}races {L}inearity",
booktitle = "{ESOP}'94",
publisher = "Springer-Verlag",
address = "Edinburgh, UK",
pages = "363--378",
year = "1994",
url = "citeseer.ist.psu.edu/king94synergistic.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
108 A practical framework for the abstract interpretation of log.. (context) - Bruynooghe - 1991
79 Static inference of modes and data dependencies in logic pro.. - Debray - 1989
59 Combined determination of sharing and freeness of program va.. - Muthukumar, Hermenegildo - 1991
45 Improving abstract interpretation by combining domains (context) - Codish, Mulkers et al. - 1993
42 An application of the abstract interpretation of logic progr.. (context) - Sndergaard - 1986
41 Analysis of constraint logic programs (context) - Marriott, Sndergaard - 1990
41 High Performance Prolog Implementation (context) - Taylor - 1991
26 Derivation and safety of an abstract unification algorithm f.. (context) - Codish, Dams et al. - 1991
26 Non-strict independent and-parallelism (context) - Hermenegildo, Rossi - 1990
23 linearity and correctness -- all at once (context) - Bruynooghe, Codish et al. - 1993
23 Abstract interpretation of logic programs: an abstract domai.. (context) - Cortesi, Fil'e - 1991
22 Semi-intelligent backtracking of prolog based static data de.. (context) - Chang, Despain - 1985
18 Freeness analysis for logic programs - and correctness (context) - Codish, Dams et al. - 1993
17 Foundations of Deductive Databases and Logic Programming (context) - Lassez, Maher et al. - 1987
14 Aliasing and groundness analysis of logic programs through a.. (context) - Hans, Winkler - 1992
11 An abstract interpretation scheme for groundness (context) - Sundararajan, Conery - 1992
8 Department of Electronics and Computer Science (context) - King, twist et al. - 1993
7 A generic abstract interpretation algorithm and its complexi.. (context) - Le Charlier, Musumbu et al. - 1991
7 Static Analysis of Logic Programs (context) - Jacobs, Langen - 1992
5 Detecting And-Parallelism and Optimizing Backtracking in Pro.. (context) - Xia, Dependencies - 1989
4 Personal communication on linearity lemma (context) - Dams - 1993
4 Compile-time derivation of variable dependency through abstr.. (context) - Muthukumar, Hermenegildo - 1992
2 Personal communication on freeness analysis (context) - Hermenegildo - 1993
The graph only includes citing articles where the year of publication is known.
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