Abstract
This paper is a technical supplement of our original research in the combination of genetic programming (GP), Hoare logic, model checking, and finite state automaton for Hoare triple constructions. Although there is no problem in achieving this goal by first constructing the generalized models for some given Hoare triples, the desired Hoare triples from the application of general GP approaches to them still produce ineffective results and hence needs further improvement. In this paper, we solve it through the use of some semantically valid genetic operations. Precisely, we check logic relationships among Hoare triples and generalized models for their consistence.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Koza, J.R.: Genetic Programming: On the Programming of Computers by Means of Natural Selection. The MIT Press, Cambridge (1992)
Holland, J.: Adaptation in Natural and Artificial Systems. The University of Michigan Press, Michigan (1975)
Mitchell, M.: An Introduction to Genetic Algorithms. MIT Press, Cambridge (1976)
Oltean, M., Grosan, C.: A Comparison of Several Linear Genetic Programming Techniques. Complex Systems 14(4), 1–29 (2004)
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)
Montana, D.J.: Strongly Typed Genetic Programming. Evolutionary Computation 3(2), 199–230 (1995)
Koza, J.R.: Genetic Programming II: Automatic Discovery of Reusable Programs. MIT Press, Cambridge (1994)
Johnson, C.G.: Genetic Programming with Fitness Based on Model Checking. In: Ebner, M., O’Neill, M., Ekárt, A., Vanneschi, L., Esparcia-Alcázar, A.I. (eds.) EuroGP 2007. LNCS, vol. 4445, pp. 114–124. Springer, Heidelberg (2007)
He, P., Kang, L.S., Fu, M.: Formality Based Genetic Programming. In: Proc. of IEEE Congress on Evolutionary Computation, pp. 4081–4088. IEEE Press, Los Alamitos (2008)
Hoare, C.A.R.: An Axiomatic Basis for Computer Programming. CACM 12(10), 576–583 (1969)
Winskel, G.: The Formal Semantics of Programming Language: A Introduction. MIT Press, MA (1993)
Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about System. Cambridge University Press, England (2004)
Manna, Z.: Mathematical Theory of Computations. McGraw-Hill, New York (1974)
Chen, H.W., Wang, J., Dong, W.: High Confidence Software Engineering Technologies. Acta Electronica Sinica 31(12A), 1933–1938 (2003) (in Chinese)
Garey, M., Johnson, D.S.: Computers and Intractability - A Guide to the Theory of NP-completeness. Freeman, San Francisco (1979)
Sette, S., Boullart, L.: Genetic Programming: Principles and Applications. Engineering Applications of Artificial Intelligence 14(6), 727–736 (2001)
Manrique, D., Márquez, F., Ríos, J., Rodríguez-Patón, A.: Grammar Based Crossover Operator in Genetic Programming. In: Mira, J., Álvarez, J.R. (eds.) IWINAC 2005. LNCS, vol. 3562, pp. 252–261. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
He, P., Kang, L., Huang, D. (2009). Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations. In: Cai, Z., Li, Z., Kang, Z., Liu, Y. (eds) Advances in Computation and Intelligence. ISICA 2009. Lecture Notes in Computer Science, vol 5821. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04843-2_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-04843-2_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04842-5
Online ISBN: 978-3-642-04843-2
eBook Packages: Computer ScienceComputer Science (R0)