Algorithmic Program Debugging (ACM Distinguished Dissertation) - Softcover

Shapiro, Ehud Y. Y

Softcover

ISBN 10: 0262693070 ISBN 13: 9780262693073

Publisher: MIT Press, 2004

Synopsis

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.

About this title

About the Author

Ehud Y. Shapiro is Senior Scientist, Department of Applied Mathematics, Weizmann Institute of Science.

Edition details

• Publisher: MIT Press
• Publication date: 2004
• Language: English
• ISBN 10: 0262693070
• ISBN 13: 9780262693073
• Binding: Paperback
• Number of pages: 248