The Definition and Implementation of a Computer Programming Language Based on Constraints
The constraint paradigm is a model of computation in which values are deduced whenever possible, under the limitation that deductions be local in a certain sense. One may visualize a constraint 'program' as a network of devices connected by wires. Data values may flow along the wires...
| Главный автор: | |
|---|---|
| Язык: | en_US |
| Опубликовано: |
2004
|
| Online-ссылка: | http://hdl.handle.net/1721.1/6933 |