The logic of aliasing |
| |
| Authors: | Robert Cartwright Derek Oppen |
| |
| Affiliation: | (1) Mathematical Sciences Department, Rice University, 77001 Houston, Texas, USA;(2) Computer Science Department, Stanford University, 94305 Stanford, California, USA |
| |
| Abstract: | ![]()
Summary We present a new version of Hoare's logic that correctly handles programs with aliased variables. The central proof rules of the logic (procedure call and assignment) are proved sound and complete.An earlier version of this paper appeared in the Proceedings of the Fifth ACM Symposium on Principles of Programming Languages, 1978. This research has been partially supported by National Science Foundation grants MCS 76-14293 and MCS 76-000327 |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
