Book: Deductive And Declarative Programming 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.
Details of Book: Deductive And Declarative Programming Book: Deductive And Declarative Programming
Author: P. Padawitz, Peter Padawitz, C. J. Van Rijsbergen
ISBN: 0521032512
ISBN-13: 9780521032513
, 978-0521032513
Binding: Paperback
Publishing Date: 23112006
Publisher: Cambridge University Press
Number of Pages: 288
Language: English