3931 search results - page 1 / 787 » Separation logic and abstraction |
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
FOSSACS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
POPL
2008
ACM
14 years 5 months ago
2008
ACM
POPL
2005
ACM
14 years 5 months ago
2005
ACM
ENTCS
2008
13 years 5 months ago
2008
We present an extension to classical separation logic which allows reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover in a manner allowing ...