Search for Author All Reviews
	Eastlund, Carl     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       The little prover Friedman D., Eastlund C., The MIT Press, Cambridge, MA, 2015. 248 pp.  Type: Book (978-0-262527-95-8) The goal of this book is to teach readers how to prove that recursive Lisp programs are correct. The method used is based on principles from mathematical logic; it involves identifying basic axioms, theorems, and rules of text transfor...... Dec 9 2015
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy