- author = "J. Roland Olsson",
- title = "The Art of Writing Specifications for the {ADATE} Automatic Programming System",
- booktitle = "Genetic Programming 1998: Proceedings of the Third Annual Conference",
- year = "1998",
- editor = "John R. Koza and Wolfgang Banzhaf and Kumar Chellapilla and Kalyanmoy Deb and Marco Dorigo and David B. Fogel and Max H. Garzon and David E. Goldberg and Hitoshi Iba and Rick Riolo",
- pages = "278--283",
- address = "University of Wisconsin, Madison, Wisconsin, USA",
- publisher_address = "San Francisco, CA, USA",
- month = "22-25 " # jul,
- publisher = "Morgan Kaufmann",
- keywords = "genetic algorithms, genetic programming, ADATE",
- ISBN = "1-55860-548-7",
-
URL = "
http://www.ia-stud.hiof.no/~rolando/specart5.ps",
-
URL = "
https://hdl.handle.net/11250/5266563",
- size = "6 pages",
-
abstract = "The main difficulty for the user of an automatic
programming system is to write a specification that the
system can employ to synthesize desirable programs. We
discuss how to write specifications for the ADATE
system and present examples of specifications and the
corresponding synthesized programs.
We show how ADATE can be used to synthesize parts of specifications as well as desirable programs and argue that multi-stage inferences are useful when specifying quite complex problems such as natural language understanding.",
- notes = "GP-98",
