| Publication Type |
technical report |
| School or College |
College of Engineering |
| Department |
Computing, School of |
| Creator |
Rossberg, Wayne |
| Title |
Constraints as a Paradigm for Computing |
| Date |
1993-03 |
| Description |
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 compiled modules and a type system are introduced into the logic programming language in order to facilitate the composition of the various solvers into more specialized solvers for composite domains. Multiple language programming is supported by a control protocol based on continuations. |
| Type |
Text |
| Subject |
logic programming; constraint logic programming; clp; logic programming language; programming language; warren abstract machine; type inference |
| Subject LCSH |
Logic programming; Computer programming; Computer science |
| Language |
eng |
| Bibliographic Citation |
Rossberg, W. (1993). Constraints as a Paradigm for Computing. |
| Series |
University of Utah Computer Science Technical Report |
| Relation is Part of |
ARPANET |
| Format Medium |
application/pdf |
| Format Extent |
129,732,791 bytes |
| File Name |
Rossberg-Constraints_As_A_Paradigm.pdf |
| Conversion Specifications |
Original scanned with Kirtas 2400 and saved as 400 ppi uncompressed TIFF. PDF generated by Adobe Acrobat Pro X for CONTENTdm display |
| ARK |
ark:/87278/s6253khr |
| Setname |
ir_computersa |
| ID |
100337 |
| Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6253khr |
