{"type":"ScholarlyArticle","title":"Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases","authors":[{"name":"Terrence W. Pratt","slug":"terrence-w-pratt","given":"Terrence W.","family":"Pratt","affiliation":""}],"abstract":"The statements in a program may be classified as \"kernel statements\" if they participate directly in the computation of some output and as \"control statements\" if they participate directly in deciding the control path at branch points. Two programs are kernel equivalent if they always execute identical sequences of kernel statements given the same inputs. Kernel equivalence is defined formally and is shown to be practically decidable in many cases by a procedure of trying test cases. The concept of program kernel may also be used as a basis for proving correctness of programs.","doi":null,"url":"https://ijcai.org/proceedings/1971/49","pdf":"https://ijcai.org/proceedings/1971/0049.pdf","markdown":"https://ijcai.org/proceedings/1971/49.md","bibtex":"https://ijcai.org/proceedings/1971/bibtex/49","volume":{"slug":"1971","title":"Proceedings of the Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1971","url":"https://ijcai.org/proceedings/1971/","year":1971,"location":"London, UK","dates":"","editors":"D.C. Cooper","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":49,"pages":{"first":474,"last":479},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}