Workshop on New Directions in Software Technology

Preliminary work. Shows how to construct a simple logical model of Java views.
Illustrated on a procedure that manipulates iterators and lists.

Slides and models at http://people.csail.mit.edu/dnj/talks/ndist01/