Algorithmic Program Debugging

Algorithmic Program Debugging

By Ehud Y. Shapiro
Request Permissions Exam copy

Overview

Author(s)

Summary

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.

Hardcover

Out of Print ISBN: 9780262192187 248 pp. | 7 in x 10 in

Paperback

$35.00 X ISBN: 9780262693073 248 pp. | 7 in x 10 in

Authors

Ehud Y. Shapiro

Ehud Y. Shapiro is Senior Scientist, Department of Applied Mathematics, Weizmann Institute of Science.