主要观点：开发了基于基本计算元素是通过共享单元相互连接的自治机器的编程模型，此模型能轻松结合面向表达式和基于约束的编程，也能容纳普通程序中的隐式增量分布式搜索，基于 Guy Lewis Steele Jr. 的原始研究，近期在 Chris Hanson 帮助下发展。
关键信息：作者为 Sussman, Gerald Jay 和 Radul, Alexey；有相关论文及下载链接；顾问是 Gerald Jay Sussman；2009 年 1 月 26 日发布；系列/报告编号为 MIT-CSAIL-TR-2009-002；关键词为 Constraint-based programming、Programming models、Distributed search。
重要细节：提到通过共享单元连接自治机器，机器连续检查感兴趣的单元并基于其他单元信息进行推导添加信息，以及该工作的发展历程等。