796 search results - page 12 / 160 » An Overview of Separation Logic |
MM
1993
ACM
14 years 1 months ago
1993
ACM
This paper describes an interface which helps people maintain a sense of spatial context while navigating virtual real-world scenes. First, a single panoramic image of the entire ...
PLDI
2011
ACM
13 years 20 days ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
ESOP
2009
Springer
14 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...
TREC
2003
13 years 11 months ago
2003
The TREC 2003 question answering track contained two tasks, the passages task and the main task. In the passages task, systems returned a single text snippet in response to factoi...
ENTCS
2006
13 years 9 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...