Mechanization of an oracle in a debugging system

  • Authors:

  • Anneli Edman;Sten-Ake Tirnlund

  • Affiliations:

  • Uppsala Programming Methodology and Artificial Intelligence Laboratory, Department of Computing Science, Uppsala University, Uppsala, Sweden;Uppsala Programming Methodology and Artificial Intelligence Laboratory, Department of Computing Science, Uppsala University, Uppsala, Sweden

  • Venue:
  • IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
  • Year:
  • 1983

Quantified Score

Hi-index 0.01

Visualization

Abstract

We shall make use of a programming calculus to derive the correct result a program is expected to compute. In this way, the decision by an oracle whether or not a result is correct can be derived formally from a specification (model) of the program, and thus the oracle can be mechanized. The debugging system consists mainly of a derivation editor and a fault finding program that collects an erroneous procedure.