Andrew D. Kelly, Andrew Macdonald, Kim Marriott, Harald Sndergaard Peter...  Home/Search
Context
Related
| monash.edu.au/publi...trcs95226.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 considerable expressive power and flexibility gained by combining constraint programming with logic programming is not without cost. Implementations of constraint logic programming (CLP) languages must include expensive constraint solving algorithms tailored to specific domains, such as trees, Booleans, or real numbers. The performance of many current CLP compilers and interpreters does not encourage the widespread use of CLP. We outline an optimizing compiler for CLP(R), a CLP... (Update)
Similar documents based on text: More All
0.9: Effectiveness of Optimizing Compilation for CLP(R) - Kelly, Macdonald, Marriott, .. (Correct)
0.6: Optimizing Compilation of CLP(R) - Kelly, Marriott, Macdonald, Stuckey, .. (1999) (Correct)
0.6: Optimizing Compilation for CLP(R) - Marriott, Søndergaard, Stuckey, Yap (Correct)
BibTeX entry: (Update)
@misc{ andrew-optimizing,
author = "Andrew Kelly Andrew",
title = "An Optimizing Compiler for CLP(R)",
url = "citeseer.ist.psu.edu/724846.html" }
Citations (may not include all citations):815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
373 Constraint logic programming: A survey - Jaffar, Maher - 1994
218 Abstract interpretation and application to logic programs (context) - Cousot, Cousot - 1992
134 ACM Transactions on Programming Languages and Systems (context) - Jaffar, Michaylov et al. - 1992
105 Compile-time derivation of variable dependency using abstrac.. - Muthukumar, Hermenegildo - 1992
79 Static inference of modes and data dependencies in logic pro.. - Debray - 1989
42 An application of abstract interpretation of logic programs:.. (context) - Sndergaard - 1986
41 Analysis of constraint logic programs (context) - Marriott, Sndergaard - 1990
40 Effectiveness of global analysis in strict independence-base.. (context) - Bueno, de la et al. - 1994
37 LIPS on a MIPS: Results from a Prolog compiler for a RISC (context) - Taylor - 1990
33 Boolean functions for dependency analysis: Algebraic propert.. (context) - Armstrong, Marriott et al. - 1994
22 Experimental evaluation of a generic abstract interpretation.. (context) - Le Charlier, Van Hentenryck - 1994
15 Some global compile-time optimizations for CLP (context) - Jrgensen, Marriott et al. - 1991
9 Redundancy of variables in CLP (context) - Macdonald, Stuckey et al. - 1993
8 Optimizing compilation for CLP (context) - Marriott, Sndergaard et al. - 1994
[Article contains additional citations not shown here]
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