TY  - RPRT
A1  - Dang, Han Hing
A1  - Höfner, Peter
A1  - Möller, Bernhard
T1  - Towards algebraic separation logic
N2  - We present an algebraic approach to separation logic. In particular, we give algebraic characterisations for all constructs of separation logic like assertions and commands. The algebraic view does not only yield new insights on separation logic but also shortens proofs and enables the use of automated theorem provers for verifying properties at a more abstract level.
T3  - Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg - 2009-12 
Y1  - 2009
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/1300
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-10930
PB  - Institut für Informatik, Universität Augsburg
CY  - Augsburg
ER  -