634 search results - page 4 / 127 » Separability in the Ambient Logic |
102
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 29 days ago
2008
Springer
62
Voted
WOLLIC
2007
Springer
15 years 6 months ago
2007
Springer
64
Voted
FSTTCS
2004
Springer
15 years 6 months ago
2004
Springer
