3 ms·
You might want to check out this related work: http://casper.uwplse.org http://casper.uwplse.org
by prince617 8y ago
You might want to check out this related work: http://casper.uwplse.org http://casper.uwplse.org
- karthiksr 8y agoThank you. Casper is very interesting work, and I am aware of it. Program synthesis offers an alternative approach to such problems, with different trade offs and characteristics. The paper includes a brief discussion on synthesis-based techniques, and the reasoning behind Froid's design choices.