TY  - CHAP
A1  - Möller, Bernhard
A2  - Broy, Manfred
T1  - Formal derivation of pointer algorithms
T2  - Informatik und Mathematik [Professor Dr. Dr. h.c. mult. F. L. Bauer zum 65. Geburtstag]
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  - 1991
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/17066
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-170664
SN  - 978-3-642-76678-7
SP  - 419
EP  - 440
PB  - Springer
CY  - Berlin
ER  -