Manuel Hermenegildo  Home/Search
Context Related
| clip.dia.fi.upm.es/p...fdcsconsjou.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: clip.dia.fi.upm.es/clippu...node8 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a number of challenges for future constraint programming systems, including improvements in implementation technology (using global analysis based optimization and parallelism), debugging facilities, and the extension of the application domain to distributed, global programming. We also briey discuss how we are exploring techniques to meet these challenges in the context of the development of the CIAO constraint logic programming system. (Update)
Similar documents based on text: More All
0.3: A Documentation Generator for (C)LP Systems - Hermenegildo (2000) (Correct)
0.3: Programming with Global Analysis - Hermenegildo (1997) (Correct)
0.3: Concurrency in Prolog Using Threads and a Shared Database - Carro, Hermenegildo (1999) (Correct)
BibTeX entry: (Update)
M. Hermenegildo. Some challenges for constraint programming. CONSTRAINTS: An International Journal, 2(1):63--70, 1997. http://citeseer.ist.psu.edu/hermenegildo97some.html More
@article{ hermenegildo97some,
author = "Manuel Hermenegildo",
title = "Some challenges for constraint programming",
journal = "The Constraints Journal",
volume = "2",
number = "1",
pages = "63--69",
year = "1997",
url = "citeseer.ist.psu.edu/hermenegildo97some.html" }
Citations (may not include all citations):271 The Oz programming model - Smolka - 1995
216 Semantic Foundation of Concurrent Constraint Programming - Saraswat, Rinard et al. - 1991
214 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
151 Logic Semantics for a Class of Committed-choice Programs (context) - Maher - 1987
114 Programming Paradigms of the Andorra Kernel Language - Janson, Haridi - 1991
113 Constraint Logic Programming: A Survey (context) - Ja, Maher - 1994
48 Prolog System: Exploiting Independent AndParallelism (context) - Hermenegildo, Greene - 1991
42 Algorithmic debugging with assertions - Drabent, Nadjm-Tehrani et al. - 1989
34 the Practicality of Global Flow Analysis of Logic Programs (context) - Warren, Hermenegildo et al. - 1988
31 An Overview of the Design of Distributed Oz - Haridi, VanRoy et al. - 1996
30 Incremental Analysis of Logic Programs - Hermenegildo, Puebla et al. - 1995
30 Compositional analysis for concurrent constraint programming - Marriott, Falaschi et al. - 1993
29 Global Analysis of Constraint Logic Programs (context) - Garc, Banda et al. - 1996
29 Parallel Logic Programming Systems (context) - Chassin, Codognet - 1994
27 The CIAO MultiDialect Compiler and System: An Experimentatio.. - Hermenegildo, Bueno et al. - 1995
[Article contains additional citations not shown here]
Documents on the same site (http://clip.dia.fi.upm.es/clippubsbyyear/node8.html): More
Lower Bound Cost Estimation for Logic Programs - Debray, Lopez-Garcia.. (1997) (Correct)
An Algebraic Approach to Sharing Analysis of Logic Programs - Codish, Lagoon, Bueno (1997) (Correct)
Exploiting Goal Independence in the Analysis of Logic.. - Codish, Bruynooghe.. (1997) (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