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

Reply via email to