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 this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
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)