Deductive and Inductive Methods for Program Synthesis

The paper discusses simple functional constraint networks and a value propagation method for program construction. Structural synthesis of programs is described as an example of deductive approach to program construction. An inductive method for program synthesis utilizing stochastic optimization algorithms is introduced to complement value propagation techniques.

• Type: Conference
• Year: 2003
• Where: SNPD
• Authors: Jaan Penjam, Elena Sanko
• Keywords: Complement Value Propagation, Program Construction, SNPD 2003, SNPD 2007, Value Propagation Method