Towards pointer algebra
- We show that the well-known unfold/fold transformation strategy is also fruitful for the (formal) derivation of correct pointer algorithms. The key to this extension is an algebra of partial maps which allows convenient description and manipulation of pointer structures at the functional level.
Download full text files
Postprint
Statistics
Print On Demand
Additional Services
| Author: | Bernhard MöllerGND |
|---|---|
| URN: | urn:nbn:de:bvb:384-opus4-184510 |
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/18451 |
| Parent Title (English): | Science of Computer Programming |
| Publisher: | Elsevier |
| Type: | Article |
| Language: | English |
| Year of first Publication: | 1993 |
| Publishing Institution: | Universität Augsburg |
| Release Date: | 2017/07/21 |
| Volume: | 21 |
| Issue: | 1 |
| First Page: | 57 |
| Last Page: | 90 |
| DOI: | https://doi.org/10.1016/0167-6423(93)90008-D |
| 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): |  CC-BY-NC-ND 4.0: Creative Commons: Namensnennung - Nicht kommerziell - Keine Bearbeitung (mit Print on Demand) |
