---
title: "Mechanization of an Oracle in a Debugging System"
authors:
  - "Anneli Edman"
  - "Sten-Åke Tärnlund"
doi: ""
url: "https://ijcai.org/proceedings/1983/133"
pdf: "https://ijcai.org/proceedings/1983/0133.pdf"
venue: "Proceedings of the Eighth International Joint Conference on Artificial Intelligence"
year: 1983
pages: "553-554"
track: "Logic Programming"
keywords:
---

# Mechanization of an Oracle in a Debugging System

Anneli Edman, Sten-Åke Tärnlund

*Proceedings of the Eighth International Joint Conference on Artificial Intelligence*, pages 553-554.

## Abstract

We shall make use or 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 specificat ion (model) or the program, and thus the oracle can be mechanized. The debugging system consists mainly or a derivation editor and a fault finding program that collects an erroneous procedure.