{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:30Z","timestamp":1750306950693,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,7,6]],"date-time":"2013-07-06T00:00:00Z","timestamp":1373068800000},"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":[[2013,7,6]]},"DOI":"10.1145\/2464576.2482689","type":"proceedings-article","created":{"date-parts":[[2013,7,24]],"date-time":"2013-07-24T13:26:51Z","timestamp":1374672411000},"page":"1107-1112","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["An interpolation based crossover operator for genetic programming"],"prefix":"10.1145","author":[{"given":"Nassima","family":"Aleb","sequence":"first","affiliation":[{"name":"USTHB, Bab Ezzouar, Algiers, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samir","family":"Kechid","sequence":"additional","affiliation":[{"name":"USTHB, Bab Ezzouar, Algiers, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,7,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2330784.2330859"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1838552.1838559"},{"key":"e_1_3_2_1_3_1","first-page":"111","volume-title":"Proceedings of the IEEE World Congress on Computational Intelligence","author":"Beadle L.","year":"2008","unstructured":"Beadle , L. and Johnson , C. G . 2008. Semantically driven crossover in genetic programming . In Proceedings of the IEEE World Congress on Computational Intelligence , pages 111 -- 116 . IEEE Press , 2008 . Beadle, L. and Johnson, C. G. 2008. Semantically driven crossover in genetic programming. In Proceedings of the IEEE World Congress on Computational Intelligence, pages 111--116. IEEE Press, 2008."},{"key":"e_1_3_2_1_4_1","volume-title":"Linear Genetic Programming. No. XVI in Genetic and Evolutionary Computation (Springer","author":"Brameier M.","year":"2007","unstructured":"Brameier , M. , and Banzhaf , W . 2007 . Linear Genetic Programming. No. XVI in Genetic and Evolutionary Computation (Springer , Berlin , 2007 ). Brameier, M., and Banzhaf, W. 2007. Linear Genetic Programming. No. XVI in Genetic and Evolutionary Computation (Springer, Berlin, 2007)."},{"key":"e_1_3_2_1_5_1","volume-title":"A discipline of programming Prentice-Hall","author":"Dijkstra E.","year":"1976","unstructured":"Dijkstra , E. 1976. A discipline of programming Prentice-Hall , 1976 . Dijkstra, E. 1976. A discipline of programming Prentice-Hall, 1976."},{"key":"e_1_3_2_1_6_1","volume-title":"Model Checking. MIT Press","author":"Grumberg O.","year":"1999","unstructured":"Grumberg , O. , Clarke , E. M. , and Peled , D . 1999 . Model Checking. MIT Press , 1999 . Grumberg, O., Clarke, E. M., and Peled, D. 1999. Model Checking. MIT Press, 1999."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646810.704110"},{"key":"e_1_3_2_1_8_1","first-page":"134","volume-title":"Recent Advances in Soft Computing","author":"Johnson C. G.","year":"2002","unstructured":"Johnson , C. G. 2002 . Genetic programming with guaranteed constraints . In Recent Advances in Soft Computing , pages 134 -- 140 . The Nottingham Trent University , 2002. Johnson, C. G. 2002. Genetic programming with guaranteed constraints. In Recent Advances in Soft Computing, pages 134--140. The Nottingham Trent University, 2002."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the UK Workshop on Computational Intelligence","author":"Johnson C. G.","year":"2002","unstructured":"Johnson , C. G. 2002 . What can automatic programming learn from theoretical computer science . In Proceedings of the UK Workshop on Computational Intelligence . University of Birmingham , 2002. Johnson, C. G. 2002. What can automatic programming learn from theoretical computer science. In Proceedings of the UK Workshop on Computational Intelligence. University of Birmingham, 2002."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1763756.1763768"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01181-8_9"},{"key":"e_1_3_2_1_12_1","volume-title":"Handbook of Logic in Computer Science","author":"Jones N. D.","year":"1995","unstructured":"Jones , N. D. , and Nielson , F . 1995. Abstract interpretation: a semantics based tool for program analysis . Handbook of Logic in Computer Science , 1995 . Jones, N. D., and Nielson, F. 1995. Abstract interpretation: a semantics based tool for program analysis. Handbook of Logic in Computer Science, 1995."},{"key":"e_1_3_2_1_13_1","first-page":"141","article-title":"2008. Model checking-based genetic programming with an application to mutual exclusion","volume":"4963","author":"Katz G.","year":"2008","unstructured":"Katz , G. , and Peled , D . 2008. Model checking-based genetic programming with an application to mutual exclusion . Tools and Algorithms for the Construction and Analysis of Systems , 4963 : 141 -- 156 , 2008 . Katz, G., and Peled, D. 2008. Model checking-based genetic programming with an application to mutual exclusion. Tools and Algorithms for the Construction and Analysis of Systems, 4963:141--156, 2008.","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88387-6_5"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1762668.1762676"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_1"}],"event":{"name":"GECCO '13: Genetic and Evolutionary Computation Conference","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"],"location":"Amsterdam The Netherlands","acronym":"GECCO '13"},"container-title":["Proceedings of the 15th annual conference companion on Genetic and evolutionary computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2464576.2482689","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2464576.2482689","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:38:59Z","timestamp":1750235939000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2464576.2482689"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,6]]},"references-count":16,"alternative-id":["10.1145\/2464576.2482689","10.1145\/2464576"],"URL":"https:\/\/doi.org\/10.1145\/2464576.2482689","relation":{},"subject":[],"published":{"date-parts":[[2013,7,6]]},"assertion":[{"value":"2013-07-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}