{"type":"ScholarlyArticle","title":"Automatic Program Debugging","authors":[{"name":"Harald Wertz","slug":"harald-wertz","given":"Harald","family":"Wertz","affiliation":""}],"abstract":"This paper presents a system <PHENARETE) uhich understands and improves lncomplet~ly defLned LISP programs, such as those.urLtten by students begtnntng to program in LISP. Thts system takes, as Lnput, the program uLthout any additional information. In order to understand the pro.gram, the system meta-evaluates l t, us log a library of pragmaticdescribing the construction and correction of general program constructs and a set of 6RBCLall~ts, describi~g the syntax and semantics of the standard LISP functions. The system can use Lts under~tandtng ~f the program . to detect errors in it, to debug them and, eventually, to JUStLfy Lts proposed modLfLcatLons. This paper gives a brief survey of the uorklng of the system, emphasizing some commented examples.","doi":null,"url":"https://ijcai.org/proceedings/1979/209","pdf":"https://ijcai.org/proceedings/1979/0209.pdf","markdown":"https://ijcai.org/proceedings/1979/209.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/209","volume":{"slug":"1979","title":"Proceedings of the Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1979","url":"https://ijcai.org/proceedings/1979/","year":1979,"location":"Tokyo, Japan","dates":"August 20-23, 1979","editors":"Bruce G. Buchanan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":209,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}