Details

Title: Algorithmic program debugging
Creators: Shapiro Ehud Y.
Organization: IEEE Xplore (Online Service); MIT Press
Imprint: Cambridge, Massachusetts London, England: MIT Press, 2004
Collection: Электронные книги зарубежных издательств; MIT Press eBooks Library; Общая коллекция
Subjects: Информатика; Вычислительные машины электронные персональные — Программы
UDC: 004.422.8
Language: English
Rights: Доступ по паролю из сети Интернет (чтение, печать)

Allowed Actions: View

Annotation

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.

Usage statistics

stat Access count: 1
Last 30 days: 0
Detailed usage statistics