{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T02:33:55Z","timestamp":1744252435931,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/cec.2008.4631354","type":"proceedings-article","created":{"date-parts":[[2008,9,26]],"date-time":"2008-09-26T11:17:53Z","timestamp":1222427873000},"page":"4080-4087","source":"Crossref","is-referenced-by-count":1,"title":["Formality based genetic programming"],"prefix":"10.1109","author":[{"family":"Pei He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Lishan Kang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Ming Fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1276958.1277276"},{"journal-title":"An Annotated List of Selected NP-complete Problems","year":"0","key":"35"},{"year":"0","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/S0952-1976(02)00013-1"},{"journal-title":"Computers and Intractability - A Guide to the Theory of NP-completeness","year":"1979","author":"garey","key":"33"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2004.1347505"},{"key":"34","article-title":"an algebraic approach to the analysis of constrained workflow systems","author":"crampton","year":"2004","journal-title":"Workshop on Foundations of Computer Security July 12"},{"journal-title":"A Discipline of Programming","year":"1976","author":"dijkstra","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2005.9"},{"journal-title":"Mathematical theory of computation","year":"1974","author":"zohar","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04131-4"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1274000.1274004"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2007.427"},{"journal-title":"An Introduction to Genetic Algorithms","year":"1976","author":"mitchel","key":"23"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021348629167"},{"journal-title":"Overview of Automated Theorem Proving","year":"0","author":"sutchiffe's","key":"25"},{"journal-title":"Theorema","year":"0","key":"26"},{"journal-title":"Automated Deduction Systems and Groups","year":"0","key":"27"},{"key":"28","first-page":"239","author":"manna","year":"1971","journal-title":"Mathematical Theory of Partial Correctness"},{"key":"29","first-page":"39","article-title":"theorem proving for verification","volume":"2067","author":"rushby","year":"2001","journal-title":"LNCS"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30201-8_1"},{"key":"2","first-page":"107","volume":"3","author":"brinksma","year":"2001","journal-title":"Verification is Experimentationl Int J STTT"},{"journal-title":"Model Checking Programs","year":"2002","author":"visser","key":"10"},{"key":"1","first-page":"262","article-title":"the verifying compiler: a grand challenge for computing research","volume":"2622","author":"hoare","year":"2003","journal-title":"LNCS"},{"journal-title":"Principles Techniques and Tools","year":"1986","key":"30"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010076532029"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICEC.1996.542327"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1007\/s11023-007-9070-6"},{"journal-title":"Genetic Programming On the Programming of Computers by Means of Natural Selection","year":"1992","author":"koza","key":"5"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"2001","author":"hopcroft","key":"31"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/2.75"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.228"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"}],"event":{"name":"2008 IEEE Congress on Evolutionary Computation (CEC)","start":{"date-parts":[[2008,6,1]]},"location":"Hong Kong, China","end":{"date-parts":[[2008,6,6]]}},"container-title":["2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4625778\/4630767\/04631354.pdf?arnumber=4631354","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T11:12:25Z","timestamp":1489749145000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4631354\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/cec.2008.4631354","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}