The logic of aliasing
[摘要] 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.
[发布日期] [发布机构]
[效力级别] [学科分类] 计算机科学（综合）
[关键词] [时效性]
