BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-79-740
       ENTRY:: June 19, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: The logic of aliasing
        TYPE:: Technical Report
      AUTHOR:: Cartwright, Robert
      AUTHOR:: Oppen, Derek C.
        DATE:: September 1979
       PAGES:: 24
    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.
       NOTES:: [Adminitrivia V1/Prg/19950619]
         END:: STAN//CS-TR-79-740