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
ACM
New York, NY, USA
Pages 135-152
2013
Topic(s): tools verification
Note(s): Rosette solver, symbolic evaluation
Onward! 2013
Indianapolis, Indiana, USA
ACM
New York, NY, USA
Pages 135-152
2013
Topic(s): tools verification
Note(s): Rosette solver, symbolic evaluation