for Constraint Logic Programs Andrew D. Kelly Kim Marriott Harald Sndergaard...  Home/Search
Context
Related
| monash.edu.au/publi...trcs96274.ps.gz 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: monash.edu.au/c...authors=&title= (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The incorporation of global program analysis into recent compilers for constraint logic programming (CLP) languages has greatly improved the efficiency of these new languages. We present a global analyser based on abstract interpretation. Unlike traditional optimizers, whose designs tend to be ad hoc, the analyser has been designed with maximal flexibility in mind. The analyser is incremental, allowing substantial program transformations by a compiler without requiring redundant... (Update)
Active bibliography (related documents): More All
0.6: Optimizing Compilation of Constraint Logic - Programming Languages Andrew (1996) (Correct)
0.6: A Comparison of the Effectiveness of Optimizations - In Clp Compiler (1996) (Correct)
0.5: An Optimizing Compiler for CLP(R) - Andrew Kelly Andrew (1995) (Correct)
Similar documents based on text: More All
0.4: Optimizing Compilation of CLP(R) - Kelly, Marriott, Macdonald, Stuckey, .. (1999) (Correct)
0.3: Improved Analysis of Logic Programs Using a.. - Banda, Marriott.. (1995) (Correct)
0.2: Effectiveness of Optimizing Compilation for CLP(R) - Kelly, Macdonald, Marriott, .. (Correct)
BibTeX entry: (Update)
@misc{ logic-generic,
author = "For Constraint Logic",
title = "A Generic Object-Oriented Incremental Analyser",
url = "citeseer.ist.psu.edu/728547.html" }
Citations (may not include all citations):815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
312 Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
105 Compile-time derivation of variable dependency using abstrac.. - Muthukumar, Hermenegildo - 1992
57 Comparing Galoi connection and wideningnarrowing approache t.. - Cousot, Galois et al. - 1991
45 Improving abstract interpretations by combining domains (context) - Codish, Bruynooghe et al. - 1993
43 Denotational abstract interpretation of logic programs (context) - Marriott, Sndergaard et al. - 1994
42 An application of abstract interpretation of logic programs:.. (context) - Sndergaard - 1986
33 Boolean functions for dependency analysis: Algebraic propert.. (context) - Armstrong, Marriott et al. - 1994
30 Incremental analysis of logic programs - Hermenegildo, Marriott et al. - 1995
22 Experimental evaluation of a generic abstract interpretation.. (context) - Le Charlier, Van Hentenryck - 1994
21 Implementation of multiple specialization in logic programs - Puebla, Hermenegildo - 1995
17 A comparison of three occur-check analysers - Crnogorac, Kelly et al. - 1996
16 An optimizing compiler for CLP (context) - Kelly, Macdonald et al. - 1995
15 Some global compile-time optimizations for CLP (context) - Jrgensen, Marriott et al. - 1991
10 Effectiveness of Optimizing Compilation for CLP (context) - Kelly, Macdonald et al. - 1996
9 Redundancy of variables in CLP (context) - Macdonald, Stuckey et al. - 1993
8 Optimizing compilation for CLP (context) - Marriott, Sndergaard et al. - 1994
7 Programming Language Design and Implementation (context) - Jaffar, Michaylov et al. - 1992
Documents on the same site (http://www.csse.monash.edu.au/cgi-bin/pub_search?publication_type=0&year=&authors=&title=): More
A Tuning Aid to Improve Deduction of Induction Results - Postema, Wu, Menzies (1996) (Correct)
Reducing the human complexity of identifying hypertext nodes from .. - Ransom (1995) (Correct)
Reasoning About Concurrent Objects - Schmidt, Chen (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