Kaufmann Matt, Manolios Panagiotis, Moore J.Strother:
Computer-Aided Reasoning / Acl2 Studies (Pt. 1)
An Approach
Kluwer Academic Publishers Group (Netherlands), 2000
Hardback, 292 pages
Size: 234x156 mm
ISBN: 9780792377443
ISBN-10: 0792377443
Computer-Aided Reasoning / Acl2 Studies
By modeling computing systems mathematically, we obtain models that we can prove behave correctly. This book presents a practical functional programming language closely related to Common Lisp which is used to define functions (which can model computing systems) and to make assertions about defined functions.

