{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,18]],"date-time":"2026-09-18T10:46:47Z","timestamp":1789728407915,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540433781","type":"print"},{"value":"9783540459842","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45984-7_29","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T02:20:51Z","timestamp":1181182851000},"page":"298-307","source":"Crossref","is-referenced-by-count":16,"title":["Deriving Genetic Programming Fitness Properties by Static Analysis"],"prefix":"10.1007","author":[{"given":"Colin G.","family":"Johnson","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Martin Alt, Christian Ferdinand, Florian Martin, and Reinhard Wilhelm. Cache behavior prediction by abstract interpretation. In Static Analysis Symposium 1996, pages 52\u201366. Springer, 1996.","DOI":"10.1007\/3-540-61739-6_33"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Wolfgang Banzhaf, Peter Nordin, Robert E. Keller, and Frank D. Francone. Genetic Programming: An Introduction. Morgan Kaufmann, 1998.","DOI":"10.1007\/BFb0055923"},{"key":"29_CR3","unstructured":"Forrest H Bennett III, Martin A. Keane, David Andre, and John R. Koza. Automatic synthesis of the topology and sizing for analog electrical circuits using genetic programming. In Kaisa Miettinen, Marko M. M\u00e4kel\u00e4, Pekka Neittaanm\u00e4ki, and Jacques Periaux, editors, Evolutionary Algorithms in Engineering and Computer Science, pages 199\u2013229, Jyv\u00e4skyl\u00e4, Finland, 30 May\u20133 June 1999. John Wiley & Sons."},{"key":"29_CR4","unstructured":"P. Cousot. Abstract interpretation: Achievements and perspectives. In Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, Compact disk paper 224 and electronic proceedings \n                    http:\/\/www.ssgrr.it\/en\/ssgrr2000\/proceedings.htm\n                    \n                  , L\u2019Aquila, Italy, July 31\u2013August 6 2000. Scuola Superiore G. Reiss Romoli."},{"key":"29_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/3-540-44577-3_10","volume-title":"Informatics-10 Years Back, 10 Years Ahead","author":"P. Cousot","year":"2001","unstructured":"P. Cousot. Abstract interpretation based formal methods and future challenges, invited paper. In R. Wilhelm, editor, Informatics-10 Years Back, 10 Years Ahead, volume 2000 of Lecture Notes in Computer Science, pages 138\u2013156. Springer-Verlag, 2001."},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Nicolas Halbwachs. Automatic discovery of linear restraints among variables of a program. In Conference Record of the Fifth Annual ACM Symposium on Principles of Pr gramming Languages, pages 84\u201396, 1978.","DOI":"10.1145\/512760.512770"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Saumya Debray. Resource-bounded partial evaluation. In Proceedings of the 1997 ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM\u201997), pages 179\u2013192, 1997.","DOI":"10.1145\/258993.259017"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rn Freeman-Benson. Converting an existing user interface to use constraints. In ACM Symposium on User Interface Software and Technology, pages 207\u2013215, 1993.","DOI":"10.1145\/168642.168663"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"Jeffery Horn. Multicriterion decision making. In Thomas B\u00e4ck, David B. Fogel, and Zbigniew Michalewicz, editors, Handbook of Evolutionary Computation}, pages F1.9.1\u2013F1.9.15. Oxford University Press \/Institute of Physics, 19","DOI":"10.1887\/0750308958\/b386c85"},{"key":"29_CR10","unstructured":"Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993."},{"key":"29_CR11","unstructured":"John R. Koza. Genetic Programming: On the Programming of Computers by means of Natural Selection. Series in Complex Adaptive Systems. MIT Press, 1992."},{"key":"29_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-3-540-46239-2_7","volume-title":"Proceedings of the 2000 European Conference on Genetic Programming","author":"J. R. Koza","year":"2000","unstructured":"John R. Koza, Jessen Yu, Martin A. Keane, and William Mydlowec. Evolution of a controller with a free variable using genetic programming. In Riccardo Poli, Wolfgang Banzhaf, William B. Langdon, Julian Miller, Peter Nordin, and Terence C. Fogarty, editors, Proceedings of the 2000 European Conference on Genetic Programming, pages 91\u2013105. Springer, 2000. LNCS 1802."},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"James Larus. Whole program paths. In Programming Language Design and Implementation, 1999.","DOI":"10.1145\/301618.301678"},{"key":"29_CR14","unstructured":"Pinaki Mazumder and Elizabeth M. Rudnick. Genetic Algorithms for VLSI Design, Layout and Test Automation. Prentice-Hall, 1998."},{"issue":"12","key":"29_CR15","doi-asserted-by":"publisher","first-page":"1415","DOI":"10.1145\/76380.76382","volume":"32","author":"T. J. McCabe","year":"1989","unstructured":"Thomas J. McCabe and Charles W. Butler. Design complexity measurement and testing. Communications of the ACM, 32(12): 1415\u20131425, 1989.","journal-title":"Communications of the ACM"},{"key":"29_CR16","doi-asserted-by":"crossref","unstructured":"Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer, 1999.","DOI":"10.1007\/978-3-662-03811-6"},{"key":"29_CR17","doi-asserted-by":"crossref","unstructured":"K.D. Nilsen and B. Rygg. Worst-case execution time analysis on modern processors. In ACM PLDI Workshop on Languages, Compilers and Tools for Real-Time Systems, 1995.","DOI":"10.1145\/216636.216650"},{"issue":"4","key":"29_CR18","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1109\/4235.942529","volume":"5","author":"M. O\u2019Neill","year":"2001","unstructured":"Michael O\u2019Neill and Conor Ryan.Grammatical evolution. IEEE Transactions on Evolutionary Computation, 5(4):349\u2013358, August 2001.","journal-title":"IEEE Transactions on Evolutionary Computation"},{"issue":"11","key":"29_CR19","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/352515.352531","volume":"43","author":"D. Partridge","year":"2000","unstructured":"Derek Partridge. Non-programmed computation. Communications of the ACM, 43(11):293\u2013302, 2000.","journal-title":"Communications of the ACM"},{"key":"29_CR20","unstructured":"Norman Paterson and Mike Livesey. Evolving caching algorithms in C by genetic programming. In John R. Koza, Kalyanmoy Deb, Marco Dorigo, David B. Fogel, Max H. Garzon, Hitoshi Iba, and Rick L. Riolo, editors, Genetic Programming 1997: Proceedings of the Second Annual Conference. Morgan Kaufman, 19"},{"key":"29_CR21","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P. Puchner","year":"1989","unstructured":"P. Puchner and Ch. Koza. Calculating the maximum execution time of real-time programs. Journal of Real-Time Systems, 1:159\u2013176, 1989.","journal-title":"Journal of Real-Time Systems"},{"key":"29_CR22","unstructured":"Michael J. Rees. Comparison of user interface design constraints for CGI and java applet web applications. In Australian World Wide Web Technical Conference, pages 1\u201314, 1997."},{"key":"29_CR23","unstructured":"Conor Ryan. Pygmies and civil servants. In Kenneth E. Kinnear, Jr., editor, Advances in Genetic Programming, pages 243\u2013263. MIT Press, 1994."}],"container-title":["Lecture Notes in Computer Science","Genetic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45984-7_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T05:58:18Z","timestamp":1550383098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45984-7_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433781","9783540459842"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45984-7_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}