1-11 of 11
Ehud Y. Shapiro
Close
Save search
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Close Modal
Sort by
Book Chapter

INTRODUCTION

By Ehud Y. Shapiro
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0001
EISBN: 9780262256964
PDF
Book Chapter

CONCEPTS OF LOGIC PROGRAMMING AND PROLOG

By Ehud Y. Shapiro
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0002
EISBN: 9780262256964
PDF
Book Chapter

PROGRAM DIAGNOSIS

By Ehud Y. Shapiro
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0003
EISBN: 9780262256964
PDF
Book Chapter

INDUCTIVE PROGRAM SYNTHESIS

By Ehud Y. Shapiro
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0004
EISBN: 9780262256964
PDF
Book Chapter

PROGRAM DEBUGGING

By Ehud Y. Shapiro
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0005
EISBN: 9780262256964
PDF
Book Chapter

CONCLUSIONS

By Ehud Y. Shapiro
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0006
EISBN: 9780262256964
PDF
Book Chapter

Appendix I. Applications of the Model Inference System

By Ehud Y. Shapiro
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0007
EISBN: 9780262256964
PDF
Book Chapter

Appendix II. Listings

By Ehud Y. Shapiro
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0008
EISBN: 9780262256964
PDF
Book Chapter

References

By Ehud Y. Shapiro
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0009
EISBN: 9780262256964
PDF
Book Chapter

Index

By Ehud Y. Shapiro
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0010
EISBN: 9780262256964
PDF
Book
Book Cover Image

Algorithmic Program Debugging

By Ehud Y. Shapiro
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.001.0001
EISBN: 9780262256964
View Abstract Hide Abstract
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.