DMCA
Colloquium on Implementation of Constraint LOgic Programming Systems (2006)
BibTeX
@MISC{Seattle06colloquiumon,
author = {The Seattle and Sheraton Hotel and H-f. Guo and E. Pontelli},
title = {Colloquium on Implementation of Constraint LOgic Programming Systems},
year = {2006}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The last years have witnessed continuous progress in the technology available both for academic and commercial computing environments. Examples include more processor performance, increased memory capacity and bandwidth, faster networking technology, and operating system support for cluster computing. These improvements, combined with recent advances in compilation and implementation technologies, are causing high-level languages to be regarded as good candidates for programming complex, real world applications. Techniques aiming at achieving flexibility in the language design make powerful extensions easier to implement; on the other hand, implementations which reach good performance in terms of speed and memory consumption make declarative languages and systems amenable to develop non-trivial applications. Logic Programming and Constraint Programming, in particular, seem to offer one of the best options, as they couple a high level of abstraction and a declarative nature with an extreme flexibility in the design of their implementations and extensions and of their execution model. This adaptability is key to, for
Keyphrases
constraint logic programming system declarative language system support extreme flexibility processor performance cluster computing non-trivial application last year implementation technology good performance language design logic programming powerful extension continuous progress memory consumption execution model declarative nature good candidate recent advance high-level language commercial computing environment high level memory capacity constraint programming real world application
