3931 search results - page 2 / 787 » Separation logic and abstraction |
74
Voted
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Graph logic (GL) is a spatial logic for querying graphs introduced by Cardelli et al. It has been observed that in terms of expressive power, this logic is a fragment of ...
83
Voted
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
Abstract. We study adjunct-elimination results for Context Logic applied to trees, following previous results by Lozes for Separation Logic and Ambient Logic. In fact, it is not po...
110
click to vote
FMCO
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
CAV
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...