Report Number: CS-TR-79-740
Institution: Stanford University, Department of Computer Science
Title: The logic of aliasing
Author: Cartwright, Robert
Author: Oppen, Derek C.
Date: September 1979
Abstract: We give a new version of Hoare's logic which correctly handles programs with aliased variables. The central proof rules of the logic (procedure call and assignment) are proved sound and complete.