Deductive and Declarative Programming Revised Edition Contributor(s): Padawitz, Peter (Author) |
|
ISBN: 0521032512 ISBN-13: 9780521032513 Publisher: Cambridge University Press OUR PRICE: $53.19 Product Type: Paperback - Other Formats Published: November 2006 Annotation: In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive theories of suitable data type specifications and exploit both classical theorem-proving and term rewriting. Detailed examples accompany the development of the methods, and their use is supported by a prototyping system that is documented at the end of the book. |
Additional Information |
BISAC Categories: - Computers | Programming - General - Computers | Programming Languages - General |
Dewey: 005.131 |
Series: Cambridge Tracts in Theoretical Computer Science (Paperback) |
Physical Information: 0.6" H x 6.69" W x 9.61" (1.02 lbs) 288 pages |