Advertisement

ECLiPSe: Declarative Specification and Scaleable Implementation

Abstract
  • Mark Wallace
  • Joachim Schimpf
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1551)

Abstract

Some years ago the vision of computer scientists was to enable end users to specify what they wanted, and leave it up to the computer how to work it out. Two important issues concerned the specification language in which end users could express their requirements, and the transformation of the specification into runnable code.

Keywords

Mixed Integer Programming Constraint Program Classical Constraint Constraint Logic Programming Scaleable Implementation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Mark Wallace
    • 1
  • Joachim Schimpf
    • 1
  1. 1.IC-Parc William Penney LaboratoryImperial CollegeLondon

Personalised recommendations