Systematic derivation of pointer algorithms

  • 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.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Bernhard MöllerGND
URN:urn:nbn:de:bvb:384-opus4-162291
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/16229
ISBN:978-3-540-53213-2OPAC
Parent Title (German):GI — 20. Jahrestagung II: Informatik auf dem Weg zum Anwender Stuttgart, 8.–12. Oktober 1990 Proceedings; Stuttgart, 8.-12. Oktober 1990; Proceedings
Publisher:Springer
Place of publication:Berlin u.a.
Editor:A. Reuter
Type:Part of a Book
Language:English
Year of first Publication:1990
Publishing Institution:Universität Augsburg
Release Date:2017/07/21
First Page:537
Last Page:547
Series:Informatik-Fachberichte; 258
DOI:https://doi.org/10.1007/978-3-642-76119-5_57
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:5 Naturwissenschaften und Mathematik / 51 Mathematik / 510 Mathematik
Licence (German):Deutsches Urheberrecht