Login / Signup

Synbit: synthesizing bidirectional programs using unidirectional sketches.

Masaomi YamaguchiKazutaka MatsudaCristina DavidMeng Wang
Published in: Proc. ACM Program. Lang. (2021)
Keyphrases
  • automatic programming
  • control structures
  • bi directional
  • social networks
  • search space
  • answer sets
  • computer programs
  • fixpoint
  • provably correct