Validity Checking of Putback Transformations in Bidirectional Programming.

Zhenjiang Hu, Hugo Pacheco, Sebastian Fischer

Browse the full FM paper archive.