TY  - JOUR
A1  - Dang, Han-Hing
A1  - Höfner, Peter
A1  - Möller, Bernhard
T1  - Towards algebraic separation logic
T2  - Lecture Notes in Computer Science
N2  - We present an algebraic approach to separation logic. In particular, we give algebraic characterisations for different classes of separation logic assertions and prove abstract laws fully algebraically. The algebraic view does not only yield new insights on separation logic but also shortens proofs due to a pointfree representation and enables the use of automated theorem provers for verifying properties at a more abstract level.
Y1  - 2009
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/68903
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-689038
SN  - 9783642046384
SN  - 9783642046391
SN  - 0302-9743
SN  - 1611-3349
VL  - 5827
SP  - 59
EP  - 72
PB  - Springer
CY  - Berlin
ER  -