Skip navigation
Hardcover | Out of Print | ISBN: 9780262192187 | 248 pp. | April 1983
Paperback | $34.00 Short | £24.95 | ISBN: 9780262693073 | 248 pp. | August 2004

Look Inside

Algorithmic Program Debugging

Overview

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.