Abstract
Automatic programming is investigated in artificial intelligence and software engineering. The overall research goal in automatic programming is to automatize as large a part of the development of computer programs as possible. A more modest goal is to automatize or support special aspects of program development - such as program verification or generation of high-level programs from specifications. The focus of this chapter is on program generation from specifications - referred to as automatic program construction or program synthesis.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Schmid, U. (2003). 6. Automatic Programming. In: Inductive Synthesis of Functional Programs. Lecture Notes in Computer Science(), vol 2654. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44846-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-44846-4_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40174-2
Online ISBN: 978-3-540-44846-4
eBook Packages: Springer Book Archive