Safer ways to pointer manipulation

  • We present a technique for passing in a safe way from high-level specifications of algorithms on pointer structures in a semi-functional style to effcient low-level implementations involving address calculations.

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-2111
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/260
Series (Serial Number):Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2000-04)
Publisher:Institut für Informatik, Universität Augsburg
Place of publication:Augsburg
Type:Report
Language:English
Year of first Publication:2000
Publishing Institution:Universität Augsburg
Release Date:2006/06/20
GND-Keyword:Softwarespezifikation
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