Growing solver-aided languages with Rosette

Emina Torlak, Rastislav Bodik
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 2013 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software
Onward! 2013
Indianapolis, Indiana, USA
New York, NY, USA
Pages 135-152
Topic(s): tools verification
Note(s): Rosette solver, symbolic evaluation

Rosette solver