The logic of aliasing

Authors:
Robert Cartwright;Derek C. Oppen
Affiliations:
-;-
Venue:
The logic of aliasing
Year:
1979

Citing 0
Cited 2

Automatic inference of optimizer flow functions from semantic meanings

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Formal Verification of C Systems Code

Journal of Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

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.