Algorithmic program debugging

• Tác giả: Ehud Y Shapiro
• Ngôn ngữ: eng
• ISBN-13: 978-0262256964
• Ký hiệu phân loại: 001.642 Knowledge
• Thông tin xuất bản: Cambridge, Massachusetts : MIT Press, 1983.
• Mô tả vật lý: 1 PDF (xiv, 232 pages).
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 313369
• Chủ đề: 1. Debugging in computer science; 2. Prolog (Computer program language)

Includes bibliographical references (p. [215]-229) and index.

Tóm tắt

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.