Algorithmic program debugging

Shapiro, Ehud Y.

Details

	Table	Card	RUSMARC

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

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

Access count: 17
Last 30 days: 2
Detailed usage statistics