1,603 followers
Program Synthesis—A Survey https://t.co/QI6xcfR3FZ - Deductive synthesizers use specific descriptions or algorithms in generating programs - Inductive synthesizers use inductive reasoning on generating programs from spec - eg Programming by examples (PBE)