Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches.

Masaomi Yamaguchi Kazutaka Matsuda Cristina David Meng Wang

Published in: CoRR (2021)

Keyphrases

bi directional
answer sets
automatic programming
logic programs
prolog programs
digital libraries
probabilistic model
control program