Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases
Proceedings of the Second International Joint Conference on Artificial Intelligence. Pages 474-479.
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.
@inproceedings{ijcai1971p49,
title = {Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases},
author = {Pratt, Terrence W.},
booktitle = {Proceedings of the Second International Joint Conference on
Artificial Intelligence, {IJCAI-71}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {D.C. Cooper},
pages = {474--479},
year = {1971},
url = {https://ijcai.org/proceedings/1971/49},
}
TY - CPAPER TI - Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases AU - Pratt, Terrence W. T2 - Proceedings of the Second International Joint Conference on Artificial Intelligence, IJCAI-71 PB - International Joint Conferences on Artificial Intelligence PY - 1971 SP - 474 EP - 479 UR - https://ijcai.org/proceedings/1971/49 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
