Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings
David Page (auth.),Veronica Dahl,Philip Wadler (eds.)
2003
View book
Book guide and evaluation
Deductive and Declarative Programming
Peter Padawitz
English
Unordered
Computer Science and Theory
4.9 / 5
0 reviews
1992
Published
285
pages
282
views
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 a
Before you read
What will you get from this book?
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.
Ask this book
Your question is answered in the context of this title and author. Each answer uses 2 points.
Sign in to ask the book assistant.
Reader reviews
0 reviews, 4.9 average out of 5
No reviews yet
If you have read this book, help the next reader with your experience.
Write a review
Sign in to publish a review.
Reader questions and answers
Ask a focused question and learn from the community.
Sign in to ask or answer a question.
No questions yet
Be the first to ask a clear, useful question.
What to read next
Related references that continue this learning path.
