Mechanization of an Oracle in a Debugging System
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.
Cite
Text
Edman and Tärnlund. "Mechanization of an Oracle in a Debugging System." International Joint Conference on Artificial Intelligence, 1983.Markdown
[Edman and Tärnlund. "Mechanization of an Oracle in a Debugging System." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/edman1983ijcai-mechanization/)BibTeX
@inproceedings{edman1983ijcai-mechanization,
title = {{Mechanization of an Oracle in a Debugging System}},
author = {Edman, Anneli and Tärnlund, Sten-Åke},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1983},
pages = {553-555},
url = {https://mlanthology.org/ijcai/1983/edman1983ijcai-mechanization/}
}