%0 Conference Paper %1 Olsson98spec %A Olsson, J. Roland %B Proceedings of the Annual Genetic Programming Conference %C San Francisco, CA, USA %D 1998 %E Koza, John R. %E Banzhaf, Wolfgang %E Chellapilla, Kumar %E Deb, Kalyanmoy %E Dorigo, Marco %E Fogel, David B. %E Garzon, Max H. %E Goldberg, David E. %E Iba, Hitoshi %E Riolo, Rick %I Morgan Kaufmann %K adate enumerative_ip functional_programming ifp induction inductive_programming olsson program_synthesis program_transformation %P 278--283 %T The Art of Writing Specifications for the ADATE Automatic Programming System %U http://www-ia.hiof.no/~rolando/

@inproceedings{Olsson98spec, added-at = {2008-11-19T10:52:08.000+0100}, address = {San Francisco, CA, USA}, author = {Olsson, J. Roland}, biburl = {https://www.bibsonomy.org/bibtex/20cb4c99c93fffd491c4fb92d4ec5faa0/emanuel}, booktitle = {Proceedings of the Annual Genetic Programming Conference}, editor = {Koza, John R. and Banzhaf, Wolfgang and Chellapilla, Kumar and Deb, Kalyanmoy and Dorigo, Marco and Fogel, David B. and Garzon, Max H. and Goldberg, David E. and Iba, Hitoshi and Riolo, Rick}, interhash = {05b72b94f4825837922bb7f14c71200f}, intrahash = {0cb4c99c93fffd491c4fb92d4ec5faa0}, keywords = {adate enumerative_ip functional_programming ifp induction inductive_programming olsson program_synthesis program_transformation}, pages = {278--283}, publisher = {Morgan Kaufmann}, timestamp = {2008-11-19T10:52:08.000+0100}, title = {The Art of Writing Specifications for the {ADATE} Automatic Programming System}, url = {http://www-ia.hiof.no/~rolando/}, year = 1998 }