Program Synthesis Using Dual Interpretation.

Ashish Tiwari, Adri Gascn, Bruno Dutertre

Browse the full CADE paper archive.