Login / Signup
Synbit: synthesizing bidirectional programs using unidirectional sketches.
Masaomi Yamaguchi
Kazutaka Matsuda
Cristina David
Meng Wang
Published in:
Formal Methods Syst. Des. (2022)
Keyphrases
</>
provably correct
three dimensional
computer programs
free software
artificial neural networks
bi directional
fixpoint
database
answer sets
prolog programs
layout design
programming environment
logic programs
mobile robot
decision trees
information systems
social networks
real world