ENGLISH

Algorithmic Program Debugging

Book information

Publisher
MIT
Year
1983
ISBN
0-262-19218-7
Language
english
Format
DJVU
Filesize
2 MB (1607101 bytes)
Series
ACM Distinguished Dissertation
Pages
246\246
Library
Kolxo3
DPI
600
Time added
2013-12-29 19:00:00

Description

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.

Similar books