Deductive and Declarative Programming
1992
First Published
4.00
Average Rating
288
Number of Pages
Part of Series
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.
Avg Rating
4.00
Number of Ratings
1
5 STARS
0%
4 STARS
100%
3 STARS
0%
2 STARS
0%
1 STARS
0%
goodreads
