March 4, 2015
10:41 a.m.
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