Technical reports, manuscripts and photographs document the early history of the University of Utah Computer Science Department.
TO
1 - 25 of 1
| Title | Description | Subject | Date | ||
|---|---|---|---|---|---|
| 1 |
 |
Constraints as a Paradigm for Computing | This dissertation presents a multiple domain constraint logic programming system (MDCLP) in which multiple solvers are supported and are viewed as external modules interfaced to the logic programming system through the set of constructors and predicates they support. The concept of separately compil... | logic programming; constraint logic programming; clp; logic programming language; programming language; warren abstract machine; type inference | 1993-03 |
1 - 25 of 1