Algorithmic program debugging
By: Ehud Y. Shapiro.
Series: ACM distinguished dissertations
Publisher: MIT Press
Published: 1983
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 232
Subjects: Debugging in computer science.; Prolog (Computer program language)
Notes: Bibliography: p. [215]-229.
Thesis (Ph.D.)--Yale University, 1982.
Includes index.