TY  - CHAP
A1  - Möller, Bernhard
A2  - Reuter, A.
T1  - Systematic derivation of pointer algorithms
T2  - GI — 20. Jahrestagung II: Informatik auf dem Weg zum Anwender Stuttgart, 8.–12. Oktober 1990 Proceedings; Stuttgart, 8.-12. Oktober 1990; Proceedings
N2  - We show that the well-known unfold/fold transformation strategy also is fruitful for the(formal) derivation of correct pointer algorithms. The key that allows this extension is the algebra of partial maps which allows convenient description and manipulation of pointer structures at the functional level.
Y1  - 1990
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/16229
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-162291
SN  - 978-3-540-53213-2
SP  - 537
EP  - 547
PB  - Springer
CY  - Berlin u.a.
ER  -