Automated Synthesis of Data Analysis Programs: Learning in Logic
Program synthesis is the systematic, usually automatic construction of correct and efficient executable code from declarative statements. Program synthesis is routinely used in industry to generate GUIs and for database support.