Algorithmic Program Debugging
Author | : Ehud Y. Shapiro |
Publisher | : MIT Press (MA) |
Total Pages | : 231 |
Release | : 2004-07-01 |
ISBN-10 | : 0262693070 |
ISBN-13 | : 9780262693073 |
Rating | : 4/5 (073 Downloads) |
Download or read book Algorithmic Program Debugging written by Ehud Y. Shapiro and published by MIT Press (MA). This book was released on 2004-07-01 with total page 231 pages. Available in PDF, EPUB and Kindle. Book excerpt: Shapiro productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. The author's use of the PROLOG language provides an efficient implementation of the debugging algorithms.