The logic of aliasing
From MaRDI portal
Publication:1145497
DOI10.1007/BF00264535zbMath0445.68022MaRDI QIDQ1145497
Robert Cartwright, Derek C. Oppen
Publication date: 1981
Published in: Acta Informatica (Search for Journal in Brave)
Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items (5)
Formal verification of C systems code. Structured types, separation logic and theorem proving ⋮ Fifty years of Hoare's logic ⋮ Heaps and Data Structures: A Challenge for Automated Provers ⋮ 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
