24 search results - page 1 / 5 » esop 2009 |
ESOP
2009
Springer
14 years 28 days ago
2009
Springer
ESOP
2009
Springer
14 years 28 days ago
2009
Springer
ESOP
2009
Springer
14 years 28 days 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...
ESOP
2009
Springer
14 years 28 days ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
ESOP
2009
Springer
13 years 10 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...