Algorithmic Program Debugging

Shapiro, Ehud Y.

doi:10.7551/mitpress/1192.001.0001

Buy in Print Options

Algorithmic Program Debugging

The MIT Press

DOI:

https://doi.org/10.7551/mitpress/1192.001.0001

ISBN electronic:

9780262256964

Publication date:

2004

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.

1: INTRODUCTION

Doi:

https://doi.org/10.7551/mitpress/1192.003.0001

PDF
2: CONCEPTS OF LOGIC PROGRAMMING AND PROLOG

Doi:

https://doi.org/10.7551/mitpress/1192.003.0002

PDF
3: PROGRAM DIAGNOSIS

Doi:

https://doi.org/10.7551/mitpress/1192.003.0003

PDF
4: INDUCTIVE PROGRAM SYNTHESIS

Doi:

https://doi.org/10.7551/mitpress/1192.003.0004

PDF
5: PROGRAM DEBUGGING

Doi:

https://doi.org/10.7551/mitpress/1192.003.0005

PDF
6: CONCLUSIONS

Doi:

https://doi.org/10.7551/mitpress/1192.003.0006

PDF
Appendix I. Applications of the Model Inference System

Doi:

https://doi.org/10.7551/mitpress/1192.003.0007

PDF
Appendix II. Listings

Doi:

https://doi.org/10.7551/mitpress/1192.003.0008

PDF
References

Doi:

https://doi.org/10.7551/mitpress/1192.003.0009

PDF
Index

Doi:

https://doi.org/10.7551/mitpress/1192.003.0010

PDF

2004

MIT

Algorithmic Program Debugging

Table of Contents

A product of The MIT Press

Browse

Resources

MIT Press Links

Contact Us

Algorithmic Program Debugging

Table of Contents

A product of The MIT Press

Browse

Resources

MIT Press Links

Contact Us

This Feature Is Available To Subscribers Only