|
|
|
|
|
|
by karthiksr
2736 days ago
|
|
|
Thank 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. |
|
|