On Logics of Aliasing
Abstract elided by the publisher.
Related papers
- A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs SAS 1998
- A logical analysis of aliasing in imperative higher-order functions JFP 2007
- A logical analysis of aliasing in imperative higher-order functions ICFP 2005
- Rely-guarantee references for refinement types over aliased mutable data PLDI 2013
- Constraints: A Uniform Approach to Aliasing and Typing POPL 1985
- Side Effects and Aliasing Can Have Simple Axiomatic Descriptions TOPLAS 1985
- Unrestricted Procedure Calls in Hoare's Logic POPL 1978
- Efficient Dataflow Analysis of Logic Programs POPL 1988