Synthesizing transformations on hierarchically structured data.

Navid Yaghmazadeh, Christian Klinger, Isil Dillig, Swarat Chaudhuri

Browse the full PLDI paper archive.