Principal Investigator Daniel Jackson
Project Website http://people.csail.mit.edu/aleks/squander/
Squander is a system for executing declarative specifications inside programs. Given a declarative specification of a method, Squander allows programmers to execute the method without providing an implementation.