TY  - CHAP
A1  - Möller, Bernhard
A2  - Bird, Richard
T1  - Calculating with pointer structures
T2  - Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17 - 22 February 1997, Alsace, France
N2  - Based on the algebra of relations and maps we present some techniques for safe manipulation of pointer structures, with a special emphasis on tree-like structures. We investigate sufficient criteria for preservation of substructures under selective updating. The approach is illustrated with some simple examples.
Y1  - 1997
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/24842
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-248421
SN  - 0-412-82050-1
SP  - 24
EP  - 48
PB  - Chapman & Hall
CY  - London [u.a.]
ER  -