The Art of the Propagator
Author(s)
Sussman, Gerald Jay; Radul, Alexey![Thumbnail](/bitstream/handle/1721.1/44215/MIT-CSAIL-TR-2009-002.pdf.jpg?sequence=7&isAllowed=y)
DownloadMIT-CSAIL-TR-2009-002.pdf (317.5Kb)
Other Contributors
Mathematics and Computation
Advisor
Gerald Jay Sussman
Terms of use
Metadata
Show full item recordAbstract
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.
Date issued
2009-01-26Series/Report no.
MIT-CSAIL-TR-2009-002
Keywords
Constraint-based programming, Programming models, Distributed search
Collections
The following license files are associated with this item: