03696489

j

03696489 Cartwright, Robert Oppen, Derek The logic of aliasing. Acta Inf. 15, 365-384 (1981). 1981 Springer, Berlin EN Hoare's logic soundness completeness aliased variables procedure call assignment

doi:10.1007/BF00264535