Shapiro, Ehud Y.,
Algorithmic program debugging / Ehud Y. Shapiro. - 1 PDF (xiv, 232 pages). - ACM distinguished dissertations . - ACM distinguished dissertations .
Thesis (Ph.D.)--Yale University, 1982.
Includes bibliographical references (p. [215]-229) and index.
Restricted to subscribers or individual electronic text purchasers.
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.
Mode of access: World Wide Web
9780262256964
Debugging in computer science.
Prolog (Computer program language)
Electronic books.
QA76.6 / .S49 1983eb
001.64/2
Algorithmic program debugging / Ehud Y. Shapiro. - 1 PDF (xiv, 232 pages). - ACM distinguished dissertations . - ACM distinguished dissertations .
Thesis (Ph.D.)--Yale University, 1982.
Includes bibliographical references (p. [215]-229) and index.
Restricted to subscribers or individual electronic text purchasers.
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.
Mode of access: World Wide Web
9780262256964
Debugging in computer science.
Prolog (Computer program language)
Electronic books.
QA76.6 / .S49 1983eb
001.64/2