- author = "Roland Olsson",
- title = "Inductive functional programming using incremental program transformation",
- journal = "Artificial Intelligence",
- year = "1995",
- volume = "74",
- number = "1",
- pages = "55--81",
- month = mar,
- keywords = "genetic algorithms, genetic programming, ADATE, STGP",
- ISSN = "0004-3702",
- broken = "http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6TYF-4002FJH-9-1&_cdi=5617&_orig=browse&_coverDate=03%2F31%2F1995&_sk=999259998&wchp=dGLbVlb-lSzBV&_acct=C000010182&_version=1&_userid=125795&md5=ba5db57b3fa83d990440da8dfd8afcd7&ie=f.pdf",
-
URL = "
http://www.ia-stud.hiof.no/~rolando/art_int_paper_74.ps",
-
DOI = "
doi:10.1016/0004-3702(94)00042-Y",
- size = "27 pages",
- abstract = "The paper presents a system, ADATE, for automatic functional programming. ADATE uses specifications that contain few constraints on the programs to be synthesised and that allow a wide range of correct programs. ADATE can generate novel and unexpected recursive programs with automatic invention of recursive auxiliary functions. Successively better programs are developed using incremental program transformations. A key to the success of ADATE is the exact design of these transformations and how to systematically search for appropriate transformation sequences.",
-
notes = "heuristically guided enumeration. call count limit
(recursive calls). Example 2.2 simplification of
polynomials. Syntactic complexity = sum log_2
m.
Several references to automatic program invention (most using LISP) from 1976 to 1992.",
