Debugging Logic Programs Using Executable Specifications

This dissertation addresses the use of executable specifications in debugging logic programs which are renowned for their clean syntax and well-understood semantics, and for the feature that one can use a single language for both specification and computation. We have formulated a computer model that encodes programming knowledge including a classification of program bugs, heuristics that analyze and repair program errors, and operational semantics of the language, and utilizes deductive and inductive inference strategies to reason with programs and their specifications.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2014

Author dc:creator

• Lee, Yuh-Jeng

Contributors dc:contributor

• Dershowitz, Nachum

• Computer Science

Identifier

(UMI)AAI8908745

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/69603