Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 /

Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to be the increased automation of software production:...

Full description

Bibliographic Details

Main Author:	Lau, Kung-Kiu
Corporate Author:	SpringerLink (Online service)
Other Authors:	Clement, Timothy Paul
Format:	eBook
Language:	English
Published:	London : Springer London, 1993.
Series:	Workshops in computing.
Subjects:	Computer science. Logic design. Artificial intelligence. Electronic books.
Online Access:	Connect to the full text of this electronic book