LogoopenSUSE Build Service > Projects > home:gatoatigrado1 > Overview
Sign Up | Log In


SKETCH is a software synthesis tool that allows for rapid development of highly tuned bug-free algorithm implementations. To do this, the programmer develops a sketch, or partial implementation, and a separate specification of the desired functionality. The synthesizer then completes the sketch to behave like the specification. The correctness of the synthesized implementation is guaranteed by the compiler.

home page: http://sketch.cs.berkeley.edu

Comments for home:gatoatigrado1 (0)