Cover Image

Algorithmic program debugging /

Show other versions (1)
Bibliographic Details
Main Author: Shapiro, Ehud Y.
Format: Book
Language:English
Published: Cambridge, Mass. : MIT Press, [1983]
Series:ACM distinguished dissertations.
Subjects:
Debugging in computer science.
Prolog (Computer program language)
Description
Item Description:Originally presented as the author's thesis (Ph.D.--Yale University, 1982)
Includes index.
Physical Description:xiv, 232 pages ; 24 cm.
Bibliography:Bibliography: pages [215]-229.
ISBN:0262192187