24 search results - page 1 / 5 » esop 2009 |
ESOP
2009
Springer
14 years 4 days ago
2009
Springer
ESOP
2009
Springer
14 years 4 days ago
2009
Springer
ESOP
2009
Springer
14 years 4 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 4 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 9 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...