{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:15:41Z","timestamp":1725538541085},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642048425"},{"type":"electronic","value":"9783642048432"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04843-2_25","type":"book-chapter","created":{"date-parts":[[2009,9,28]],"date-time":"2009-09-28T16:40:50Z","timestamp":1254156050000},"page":"228-237","source":"Crossref","is-referenced-by-count":0,"title":["Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations"],"prefix":"10.1007","author":[{"given":"Pei","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lishan","family":"Kang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daochang","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection","author":"J.R. Koza","year":"1992","unstructured":"Koza, J.R.: Genetic Programming: On the Programming of Computers by Means of Natural Selection. The MIT Press, Cambridge (1992)"},{"key":"25_CR2","volume-title":"Adaptation in Natural and Artificial Systems","author":"J. Holland","year":"1975","unstructured":"Holland, J.: Adaptation in Natural and Artificial Systems. The University of Michigan Press, Michigan (1975)"},{"key":"25_CR3","volume-title":"An Introduction to Genetic Algorithms","author":"M. Mitchell","year":"1976","unstructured":"Mitchell, M.: An Introduction to Genetic Algorithms. MIT Press, Cambridge (1976)"},{"issue":"4","key":"25_CR4","first-page":"1","volume":"14","author":"M. Oltean","year":"2004","unstructured":"Oltean, M., Grosan, C.: A Comparison of Several Linear Genetic Programming Techniques. Complex Systems\u00a014(4), 1\u201329 (2004)","journal-title":"Complex Systems"},{"key":"25_CR5","volume-title":"Studies in Computational Intelligence","author":"A. Abraham","year":"2006","unstructured":"Abraham, A., Nedjah, N., de Mourelle, L.M.: Evolutionary Computation: from Genetic Algorithms to Genetic Programming. In: Nedjah, N., et al. (eds.) Studies in Computational Intelligence. Springer, Heidelberg (2006)"},{"issue":"2","key":"25_CR6","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1162\/evco.1995.3.2.199","volume":"3","author":"D.J. Montana","year":"1995","unstructured":"Montana, D.J.: Strongly Typed Genetic Programming. Evolutionary Computation\u00a03(2), 199\u2013230 (1995)","journal-title":"Evolutionary Computation"},{"key":"25_CR7","volume-title":"Genetic Programming II: Automatic Discovery of Reusable Programs","author":"J.R. Koza","year":"1994","unstructured":"Koza, J.R.: Genetic Programming II: Automatic Discovery of Reusable Programs. MIT Press, Cambridge (1994)"},{"key":"25_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-71605-1_11","volume-title":"Genetic Programming","author":"C.G. Johnson","year":"2007","unstructured":"Johnson, C.G.: Genetic Programming with Fitness Based on Model Checking. In: Ebner, M., O\u2019Neill, M., Ek\u00e1rt, A., Vanneschi, L., Esparcia-Alc\u00e1zar, A.I. (eds.) EuroGP 2007. LNCS, vol.\u00a04445, pp. 114\u2013124. Springer, Heidelberg (2007)"},{"key":"25_CR9","first-page":"4081","volume-title":"Proc. of IEEE Congress on Evolutionary Computation","author":"P. He","year":"2008","unstructured":"He, P., Kang, L.S., Fu, M.: Formality Based Genetic Programming. In: Proc. of IEEE Congress on Evolutionary Computation, pp. 4081\u20134088. IEEE Press, Los Alamitos (2008)"},{"issue":"10","key":"25_CR10","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An Axiomatic Basis for Computer Programming. CACM\u00a012(10), 576\u2013583 (1969)","journal-title":"CACM"},{"key":"25_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The Formal Semantics of Programming Language: A Introduction","author":"G. Winskel","year":"1993","unstructured":"Winskel, G.: The Formal Semantics of Programming Language: A Introduction. MIT Press, MA (1993)"},{"key":"25_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275","volume-title":"Logic in Computer Science: Modelling and Reasoning about System","author":"M. Huth","year":"2004","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about System. Cambridge University Press, England (2004)"},{"key":"25_CR13","volume-title":"Mathematical Theory of Computations","author":"Z. Manna","year":"1974","unstructured":"Manna, Z.: Mathematical Theory of Computations. McGraw-Hill, New York (1974)"},{"issue":"12A","key":"25_CR14","first-page":"1933","volume":"31","author":"H.W. Chen","year":"2003","unstructured":"Chen, H.W., Wang, J., Dong, W.: High Confidence Software Engineering Technologies. Acta Electronica Sinica\u00a031(12A), 1933\u20131938 (2003) (in Chinese)","journal-title":"Acta Electronica Sinica"},{"key":"25_CR15","volume-title":"Computers and Intractability - A Guide to the Theory of NP-completeness","author":"M. Garey","year":"1979","unstructured":"Garey, M., Johnson, D.S.: Computers and Intractability - A Guide to the Theory of NP-completeness. Freeman, San Francisco (1979)"},{"issue":"6","key":"25_CR16","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1016\/S0952-1976(02)00013-1","volume":"14","author":"S. Sette","year":"2001","unstructured":"Sette, S., Boullart, L.: Genetic Programming: Principles and Applications. Engineering Applications of Artificial Intelligence\u00a014(6), 727\u2013736 (2001)","journal-title":"Engineering Applications of Artificial Intelligence"},{"key":"25_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/11499305_26","volume-title":"Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach","author":"D. Manrique","year":"2005","unstructured":"Manrique, D., M\u00e1rquez, F., R\u00edos, J., Rodr\u00edguez-Pat\u00f3n, A.: Grammar Based Crossover Operator in Genetic Programming. In: Mira, J., \u00c1lvarez, J.R. (eds.) IWINAC 2005. LNCS, vol.\u00a03562, pp. 252\u2013261. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Advances in Computation and Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04843-2_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,22]],"date-time":"2020-05-22T15:04:29Z","timestamp":1590159869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04843-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642048425","9783642048432"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04843-2_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}