| dc.contributor.advisor |
Gerald Jay Sussman |
|
| dc.contributor.author |
Sussman, Gerald Jay |
en_US |
| dc.contributor.author |
Radul, Alexey |
en_US |
| dc.contributor.other |
Mathematics and Computation |
en_US |
| dc.date.accessioned |
2009-01-27T06:15:12Z |
|
| dc.date.available |
2009-01-27T06:15:12Z |
|
| dc.date.issued |
2009-01-26 |
|
| dc.identifier.uri |
http://hdl.handle.net/1721.1/44215 |
|
| dc.description.abstract |
We develop a programming model built on the idea that the basic computational elements are autonomous machines interconnected by shared cells through which they communicate. Each machine continuously examines the cells it is interested in, and adds information to some based on deductions it can make from information from the others. This model makes it easy to smoothly combine expression-oriented and constraint-based programming; it also easily accommodates implicit incremental distributed search in ordinary programs. This work builds on the original research of Guy Lewis Steele Jr. and was developed more recently with the help of Chris Hanson. |
en_US |
| dc.description.provenance |
Made available in DSpace on 2009-01-27T06:15:12Z (GMT). No. of bitstreams: 3
MIT-CSAIL-TR-2009-002.pdf: 325149 bytes, checksum: 5669784cf7ea49edcc241d48bd4a5446 (MD5)
MIT-CSAIL-TR-2009-002.ps: 1035108 bytes, checksum: f7b4cd3c8b28dc6f5735d05fab18cc3c (MD5)
art.tar: 368640 bytes, checksum: 3091551aac866c19dffc74747da9b162 (MD5)
Previous issue date: 2009-01-26 |
en |
| dc.description.provenance |
Submitted by CSAIL Importer (publications-dspace@csail.mit.edu) on 2009-01-27T06:15:12Z
No. of bitstreams: 3
MIT-CSAIL-TR-2009-002.pdf: 325149 bytes, checksum: 5669784cf7ea49edcc241d48bd4a5446 (MD5)
MIT-CSAIL-TR-2009-002.ps: 1035108 bytes, checksum: f7b4cd3c8b28dc6f5735d05fab18cc3c (MD5)
art.tar: 368640 bytes, checksum: 3091551aac866c19dffc74747da9b162 (MD5) |
en |
| dc.format.extent |
50 p. |
en_US |
| dc.relation.ispartofseries |
MIT-CSAIL-TR-2009-002 |
|
| dc.rights |
Creative Commons Attribution-Share Alike 3.0 Unported |
en_US |
| dc.rights.uri |
http://creativecommons.org/licenses/by-sa/3.0/ |
|
| dc.subject |
Constraint-based programming |
en_US |
| dc.subject |
Programming models |
en_US |
| dc.subject |
Distributed search |
en_US |
| dc.title |
The Art of the Propagator |
en_US |
