Login / Signup

Synthesizing data structure transformations from input-output examples.

John K. FeserSwarat ChaudhuriIsil Dillig
Published in: PLDI (2015)
Keyphrases