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.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Status: Available

Similar Items