Sciweavers

Share
SNPD
2003

Deductive and Inductive Methods for Program Synthesis

8 years 7 months ago
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.
Jaan Penjam, Elena Sanko
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2003
Where SNPD
Authors Jaan Penjam, Elena Sanko
Comments (0)
books