634 search results - page 4 / 127 » Separability in the Ambient Logic |
FOSSACS
2007
Springer
14 years 5 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...
ESOP
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
CADE
2008
Springer
14 years 11 months ago
2008
Springer
WOLLIC
2007
Springer
14 years 5 months ago
2007
Springer
FSTTCS
2004
Springer
14 years 4 months ago
2004
Springer
