Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning

By Ute Schmid

Because of its promise to support human programmers in developing correct and efficient program code and in reasoning about programs, automatic program synthesis has attracted the attention of... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540401741
• ISBN13: 9783540401742
• Release Date: August 2003
• Publisher: Springer
• Length: 402 Pages
• Weight: 1.30 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"