The Little Prover (Mit Press)
by Daniel P. Friedman, Carl Eastlund
The Little Prover offers an engaging introduction to inductive proofs and theorem proving in functional programming. Authors Daniel P. Friedman and Carl Eastlund use a simple language to demonstrate how to verify program behaviors rigorously. Ideal for those new to formal methods, it emphasizes hands-on learning to foster deeper understanding of computational logic.
About This Book
The Little Prover, published by MIT Press, is co-authored by Daniel P. Friedman and Carl Eastlund. It focuses on teaching the fundamentals of writing inductive proofs in the context of functional programming.
The book employs a gentle, interactive approach to help learners understand how to prove program properties using a small theorem-proving language.
Through progressive examples and exercises, it builds skills in formal reasoning essential for software correctness and reliability.
Designed for students and professionals in computer science, it bridges theory and practice without assuming prior expertise in logic.
Reviews
No reviews yet. Be the first to review this book!