Logic Program Synthesis from Incomplete Information

Logic Program Synthesis from Incomplete Information by Pierre Flener.

Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validatio...

Full description

Saved in:
Bibliographic Details
Main Author: Flener, Pierre (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 1995.
Edition:1st ed. 1995.
Series:The Springer International Series in Engineering and Computer Science, 295
Springer eBook Collection.
Subjects:
Programming languages (Electronic computers).
Software engineering.
Artificial intelligence.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • I State of the Art
  • 1 Automatic Programming
  • 2 Deductive Inference in Automatic Programming
  • 3 Inductive Inference in Automatic Programming
  • 4 A Logic Program Development Methodology
  • 5 Objectives
  • II Building Blocks
  • 6 A Specification Approach
  • 7 A Framework for Stepwise Logic Algorithm Synthesis
  • 8 Algorithm Analysis and Algorithm Schemata
  • 9 The Proofs-as-Programs Method
  • 10 The Most-Specific-Generalization Method
  • III A Logic Algorithm Synthesis Mechanism
  • 11 Overview of the Synthesis Mechanism
  • 12 The Expansion Phase
  • 13 The Reduction Phase
  • 14 Conclusion
  • Appendix: Conventions, Abbreviations, and Symbols
  • References.

Similar Items