Cover Image

Algorithmic program debugging /

Show other versions (1)

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.

Bibliographic Details
Main Author: Shapiro, Ehud Y.
Format: eBook
Language:English
Published: Cambridge, Mass. : MIT Press, ©1983.
Series:ACM distinguished dissertations
Subjects:
Debugging in computer science.
Prolog (Computer program language)
COMPUTER SCIENCE/General
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
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.
Physical Description:1 online resource (xiv, 232 pages).
ISBN:0262256967
9780262256964
DOI:10.7551/mitpress/1192.001.0001