Algorithmic Program Debugging (ACM Distinguished Dissertation)

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. 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 Ehud Y. Shapiro. Thesis (ph.d.)--yale University, 1982. Includes Index. Bibliography: P. [215]-229.