Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science) by Peter Padawitz
1992 | ISBN: 0521417236 | 285 pages | PDF | 6,3 MB
1992 | ISBN: 0521417236 | 285 pages | PDF | 6,3 MB
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.