TY  - RPRT
A1  - Möller, Bernhard
T1  - Towards pointer algebra
N2  - We show that the well-known unfold/fold transformation strategy is also fruitful for the (formal) derivation of correct pointer algorithms. The key to this extension is an algebra of partial maps which allows convenient description and manipulation of pointer structures at the functional level.
T3  - Reports des Instituts für Mathematik der Universität Augsburg - 279 
Y1  - 2022
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/92449
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-924497
PB  - Institut für Mathematik, Universität Augsburg
CY  - Augsburg
ER  -