Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)
Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)
Cambridge University Press | 1992-10-30 | ISBN: 0521417236 | 285 pages | PDF | 7 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.