Abstract
In this introductory chapter, we characterize and formalize the key concepts of this book, in particular computer programs. We also define the task of program synthesis and determine the main factors that make it challenging. Finally, we delineate several paradigms of program synthesis, among them genetic programming.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Krawiec, K. (2016). Program synthesis. In: Behavioral Program Synthesis with Genetic Programming. Studies in Computational Intelligence, vol 618. Springer, Cham. https://doi.org/10.1007/978-3-319-27565-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-27565-9_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-27563-5
Online ISBN: 978-3-319-27565-9
eBook Packages: EngineeringEngineering (R0)