{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:25Z","timestamp":1750307965437,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T00:00:00Z","timestamp":1183766400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,7,7]]},"DOI":"10.1145\/1274000.1274004","type":"proceedings-article","created":{"date-parts":[[2007,12,7]],"date-time":"2007-12-07T19:19:41Z","timestamp":1197055181000},"page":"2415-2422","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["An abstraction-based genetic programming system"],"prefix":"10.1145","author":[{"given":"Franck","family":"Binard","sequence":"first","affiliation":[{"name":"University of Ottawa, Ottawa, ON, Canada"}]},{"given":"Amy","family":"Felty","sequence":"additional","affiliation":[{"name":"University of Ottawa, Ottawa, ON, Canada"}]}],"member":"320","published-online":{"date-parts":[[2007,7,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Handbook of Logic in Computer Science, Volumes 1","author":"Barendregt H.","year":"1992","unstructured":"H. Barendregt . Lambda calculi with types . In Handbook of Logic in Computer Science, Volumes 1 ( Background : Mathematical Structures) and 2 (Background: Computational Structures), Abramsky & Gabbay & Maibaum (Eds.), Clarendon. Oxford University Press , 1992 . H. Barendregt. Lambda calculi with types. In Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky & Gabbay & Maibaum (Eds.), Clarendon. Oxford University Press, 1992."},{"key":"e_1_3_2_1_2_1","first-page":"60","volume-title":"Proceedings of the Fourth Golden West Conference on intelligent Systems","author":"Brave S.","year":"1995","unstructured":"S. Brave . Using genetic programming to evolve recursive programs for tree search . In Proceedings of the Fourth Golden West Conference on intelligent Systems , pages 60 -- 65 , NC, 1995 . International Society for Computers and Their Applications, Raleigh. S. Brave. Using genetic programming to evolve recursive programs for tree search. In Proceedings of the Fourth Golden West Conference on intelligent Systems, pages 60--65, NC, 1995. International Society for Computers and Their Applications, Raleigh."},{"key":"e_1_3_2_1_3_1","first-page":"87","volume-title":"Evolutionary Programming VI","author":"Clack C.","year":"1997","unstructured":"C. Clack and T. Yu . Performance enhanced genetic programming . In P. J. Angeline, R. G. Reynolds, J. R. McDonnell, and R. Eberhart, editors, Evolutionary Programming VI , pages 87 -- 100 , Berlin, 1997 . Springer . C. Clack and T. Yu. Performance enhanced genetic programming. In P. J. Angeline, R. G. Reynolds, J. R. McDonnell, and R. Eberhart, editors, Evolutionary Programming VI, pages 87--100, Berlin, 1997. Springer."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70843-7"},{"key":"e_1_3_2_1_5_1","first-page":"271","volume-title":"Genetic Algorithms: Proceedings of the Sixth International Conference (ICGA95)","author":"Haynes T.","year":"1995","unstructured":"T. Haynes , R. Wainwright , S. Sen , and D. Schoenefeld . Strongly typed genetic programming in evolving cooperation strategies. In L. Eshelman, editor , Genetic Algorithms: Proceedings of the Sixth International Conference (ICGA95) , pages 271 -- 278 , Pittsburgh, PA, USA, 15-19 1995 . Morgan Kaufmann. T. Haynes, R. Wainwright, S. Sen, and D. Schoenefeld. Strongly typed genetic programming in evolving cooperation strategies. In L. Eshelman, editor, Genetic Algorithms: Proceedings of the Sixth International Conference (ICGA95), pages 271--278, Pittsburgh, PA, USA, 15-19 1995. Morgan Kaufmann."},{"key":"e_1_3_2_1_6_1","first-page":"479","volume-title":"The formulae-as-type notion of construction","author":"Howard W. A.","year":"1969","unstructured":"W. A. Howard . The formulae-as-type notion of construction , 1969 . In To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus, and Formalism, pages 479 -- 490 . Academic Press , 1980. W. A. Howard. The formulae-as-type notion of construction, 1969. In To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus, and Formalism, pages 479--490. Academic Press, 1980."},{"key":"e_1_3_2_1_7_1","volume-title":"Proofs and Types","author":"L. J.","year":"1997","unstructured":"L. J. Y. Girard and Taylor . Proofs and Types . Cambridge University Press. , 1997 . L. J. Y. Girard and Taylor. Proofs and Types. Cambridge University Press., 1997."},{"key":"e_1_3_2_1_8_1","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection","author":"Koza J. R.","year":"1992","unstructured":"J. R. Koza . Genetic Programming: On the Programming of Computers by Means of Natural Selection . MIT Press , Cambridge, MA, USA , 1992 . J. R. Koza. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA, USA, 1992."},{"key":"e_1_3_2_1_9_1","first-page":"203","volume-title":"B. Soucek and the","author":"Koza J. R.","year":"1992","unstructured":"J. R. Koza . The genetic programming paradigm : Genetically breeding populations of computer programs to solve problems . In B. Soucek and the IRIS Group, editors, Dynamic, Genetic, and Chaotic Programming, pages 203 -- 321 . John Wiley , New York, 1992 . J. R. Koza. The genetic programming paradigm: Genetically breeding populations of computer programs to solve problems. In B. Soucek and the IRIS Group, editors, Dynamic, Genetic, and Chaotic Programming, pages 203--321. John Wiley, New York, 1992."},{"key":"e_1_3_2_1_10_1","volume-title":"Genetic programming version 2. Submitted for inclusion in the Encyclopaedia of Computer Science and Technology","author":"Koza J. R.","year":"1997","unstructured":"J. R. Koza . Genetic programming version 2. Submitted for inclusion in the Encyclopaedia of Computer Science and Technology , 1997 . J. R. Koza. Genetic programming version 2. Submitted for inclusion in the Encyclopaedia of Computer Science and Technology, 1997."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1162\/evco.1995.3.2.199"},{"key":"e_1_3_2_1_12_1","series-title":"LNCS","first-page":"408","volume-title":"Colloque sur la Programmation","author":"Reynolds J. C.","year":"1974","unstructured":"J. C. Reynolds . Towards a theory of type structure . In Colloque sur la Programmation , volume 19 of LNCS , pages 408 -- 425 . Springer-Verlag , 1974 . J. C. Reynolds. Towards a theory of type structure. In Colloque sur la Programmation, volume 19 of LNCS, pages 408--425. Springer-Verlag, 1974."},{"key":"e_1_3_2_1_13_1","first-page":"230","article-title":"On computable numbers, with an application to the Entscheidungs problem","volume":"42","author":"Turing A. M.","year":"1936","unstructured":"A. M. Turing . On computable numbers, with an application to the Entscheidungs problem . Proceedings of the London Mathematical Society , 42 : 230 -- 265 , 1936 . A. M. Turing. On computable numbers, with an application to the Entscheidungs problem. Proceedings of the London Mathematical Society, 42:230--265, 1936.","journal-title":"Proceedings of the London Mathematical Society"},{"key":"e_1_3_2_1_14_1","first-page":"422","volume-title":"Genetic Programming 1998: Proceedings of the Third Annual Conference","author":"Yu T.","year":"1998","unstructured":"T. Yu and C. Clack . Recursion, lambda abstraction and genetic programming . In J. R. Koza, W. Banzhaf, K. Chellapilla, K. Deb, M. Dorigo, D. B. Fogel, M. H. Garzon, D. E. Goldberg, H. Iba, and R. Riolo, editors, Genetic Programming 1998: Proceedings of the Third Annual Conference , pages 422 -- 431 , University of Wisconsin, Madison, Wisconsin, USA , 22-25 July 1998 . Morgan Kaufmann . T. Yu and C. Clack. Recursion, lambda abstraction and genetic programming. In J. R. Koza, W. Banzhaf, K. Chellapilla, K. Deb, M. Dorigo, D. B. Fogel, M. H. Garzon, D. E. Goldberg, H. Iba, and R. Riolo, editors, Genetic Programming 1998: Proceedings of the Third Annual Conference, pages 422--431, University of Wisconsin, Madison, Wisconsin, USA, 22-25 July 1998. Morgan Kaufmann."}],"event":{"name":"GECCO07: Genetic and Evolutionary Computation Conference","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation","ACM Association for Computing Machinery"],"location":"London United Kingdom","acronym":"GECCO07"},"container-title":["Proceedings of the 9th annual conference companion on Genetic and evolutionary computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1274000.1274004","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1274000.1274004","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:58:10Z","timestamp":1750258690000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1274000.1274004"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,7]]},"references-count":14,"alternative-id":["10.1145\/1274000.1274004","10.1145\/1274000"],"URL":"https:\/\/doi.org\/10.1145\/1274000.1274004","relation":{},"subject":[],"published":{"date-parts":[[2007,7,7]]},"assertion":[{"value":"2007-07-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}