Calculating with pointer structures
- 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.
Download full text files
Postprint
Statistics
Additional Services
| Author: | Bernhard MöllerGND |
|---|---|
| URN: | urn:nbn:de:bvb:384-opus4-248421 |
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/24842 |
| ISBN: | 0-412-82050-1OPAC |
| Parent Title (English): | Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17 - 22 February 1997, Alsace, France |
| Publisher: | Chapman & Hall |
| Place of publication: | London [u.a.] |
| Editor: | Richard Bird |
| Type: | Part of a Book |
| Language: | English |
| Year of first Publication: | 1997 |
| Publishing Institution: | Universität Augsburg |
| Release Date: | 2017/07/21 |
| First Page: | 24 |
| Last Page: | 48 |
| Institutes: | Fakultät für Angewandte Informatik |
| Fakultät für Angewandte Informatik / Institut für Informatik | |
| Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme | |
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Licence (German): |  Deutsches Urheberrecht |
