The Citrus[1] language and the Barista[2] framework.

[1] http://www.cs.cmu.edu/~NatProg/citrus.html

[2]�http://www.cs.cmu.edu/~NatProg/barista.html

Thierry