2010 May 26 at 17:00
MC 5158
Gerald Jay Sussman, Panasonic Professor of Electrical Engineering, Massachusetts Institute of Technology
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.
This colloquium is sponsored by the UW CS Club and the Cheriton School of Computer Science.
It will be preceded by a reception at in MC 5136 from 3:30pm-5pm.