{"type":"ScholarlyArticle","title":"Mechanization of an Oracle in a Debugging System","authors":[{"name":"Anneli Edman","slug":"anneli-edman","given":"Anneli","family":"Edman","affiliation":""},{"name":"Sten-Åke Tärnlund","slug":"sten-ake-tarnlund","given":"Sten-Åke","family":"Tärnlund","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1983/133","pdf":"https://ijcai.org/proceedings/1983/0133.pdf","markdown":"https://ijcai.org/proceedings/1983/133.md","bibtex":"https://ijcai.org/proceedings/1983/bibtex/133","volume":{"slug":"1983","title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1983","url":"https://ijcai.org/proceedings/1983/","year":1983,"location":"Karlsruhe, West Germany","dates":"","editors":"Alan Bundy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Logic Programming","track":"Logic Programming","number":133,"pages":{"first":553,"last":554},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}