Algorithmic Program Debugging

by Ehud Y. Shapiro

Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.

248 pages, Paperback

First published April 1, 1983

Reviews

[Touch Pu'uhonua · Rating 4 out of 5]

This book is a revelation on what it might be to create and improve programs with the assistance of intelligent software. The techniques presented are revolutionary. Alas, the example code is very clumsy as the author had not mastered Prolog at the time. This research begs to be updated!