Search: comcom.csail.mit.edu | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Synquid: Synthesize Programs from Refinement Types (comcom.csail.mit.edu)

38 points

8 years ago

2.

AutoProof – A Program Verifier for Eiffel (2015) (comcom.csail.mit.edu)

4 points

8 years ago

3.

Synquid – program synthesis with refinement types (comcom.csail.mit.edu)

2 points

10 years ago

4.

MIT Comcom: Synquid program synthesizer, and more command-line tools for the web (comcom.csail.mit.edu)

1 point

8 years ago