Algorithmic program debugging

Type Book

Rate 0.0 /5

This book formulates and explores a potentially productive new subarea of computer science that combines elements of programming languages and environments, logic, and inductive inference. It devises a theoretical framework for program debugging and develops techniques that will partly mechanize this activity. In particular, it formalizes and validates algorithmic solutions to finding and then fixing program bugs.

Details

Files

Reviews

Download

Title Statements

Full title :Algorithmic program debugging / Ehud Y. Shapiro.

Summary

Edition Statements

Publication Date:©1983.

Publication Statements

Publisher(s):MIT Press
Place of Publication:Cambridge, Mass
Language:eng
Publication Date:©1983.

The Physical Object

Description:xiv, 232 pages : : illustrations ; : 24 cm.

Edition Identifiers

ISBN:0262192187, 9780262192187
oclc:ocm09154518
LC Classification:QA76.6
Dewey Decimal:001.64/2

Introduction -- Concepts of logic programming and Prolog -- Program diagnosis -- Inductive program synthesis -- Program debugging -- Conclusions -- Appendix I. Applications of the model inference system -- Appendix II. Listings.

Subjects

Academic Dissertation Academic theses Débogage Debugging Debugging in computer science Digital computer systems Programacao de computadores PROLOG Prolog (Computer program language) Prolog (Langage de programmation) PROLOG (Programmiersprache) Thèses et écrits académiques