- author = "Jaan Penjam and Jelena Sanko",
- title = "Deductive and Inductive Methods for Program Synthesis",
- year = "2004",
- month = mar,
- keywords = "genetic algorithms, genetic programming, DE, Structural synthesis of programs, functional constraint networks, differential evolution",
-
URL = "
http://www.cs.ioc.ee/~jaan/Papers/IJCIS/IJCIS3105.pdf",
- size = "11 pages",
- abstract = "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 using stochastic optimization algorithms is introduced to complement value propagation techniques.",
-
notes = "'So we can say that the linear genetic programming
technique implemented in e produced satisfactory
results for the current symbolic regression
problem.'
2nd author originally given as Elena Sanko
Given as International Journal of Computer and Information Science, Vol. 5, No. 1, March 2004 See also \cite{DBLP:conf/snpd/PenjamS03} https://dblp.org/rec/conf/snpd/PenjamS03.bib",
