634 search results - page 4 / 127 » Separability in the Ambient Logic |
103
Voted
FOSSACS
2007
Springer
15 years 6 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...
106
Voted
ESOP
2000
Springer
15 years 4 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...
75
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
63
Voted
WOLLIC
2007
Springer
15 years 6 months ago
2007
Springer
64
Voted
FSTTCS
2004
Springer
15 years 6 months ago
2004
Springer
