The logic of aliasing

DOI10.1007/BF00264535MaRDI QIDQ1145497zbMATH OpenFDO

Authors Robert Cartwright, Derek C. Oppen

Publication date 1981

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00264535

zbMATH Keywords

assignmentcompletenesssoundnessHoare's logicprocedure callaliased variables

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Cited in

(5)

• Heaps and Data Structures: A Challenge for Automated Provers
• Formal verification of C systems code. Structured types, separation logic and theorem proving
• Fifty years of Hoare's logic
• A logical analysis of aliasing in imperative higher-order functions
• On the notion of expressiveness and the rule of adaptation

This page was built for publication: The logic of aliasing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1145497)