9 References

[1]

Emina Torlak and Rastislav Bodik. Growing Solver-Aided Languages with Rosette. New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), 2013.

[2]

Emina Torlak and Rastislav Bodik. A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages. Programming Language Design and Implementation (PLDI), 2014.