[3972] in Software_Announce
Sketch on Athena updated to 1.6.4
daemon@ATHENA.MIT.EDU (Alex T Prengel)
Tue May 28 12:45:36 2013
From: Alex T Prengel <alexp@MIT.EDU>
To: software-announce@mit.edu
Cc: cfyi@mit.edu, alexp@mit.edu
Date: Tue, 28 May 2013 12:45:21 -0400
I've update Sketch on Athena to 1.6.4. Sketch is an MIT-developed
software synthesis tool allowing for rapid development of tuned,
bug-free algorithm implementations. The programmer develops a "sketch",
or partial implementation, and a separate specification of the desired
functionality. The synthesizer them completes the sketch to behave like
the specification. To run it:
setup sketch
sketch <options> file.sk
For additional information see http://ist.mit.edu/node/1408#sketch
Alex
