TY  - RPRT
A1  - Möller, Bernhard
T1  - Safer ways to pointer manipulation
N2  - 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.
T3  - Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg - 2000-04 
KW  - Softwarespezifikation
Y1  - 2006
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/260
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-2111
PB  - Institut für Informatik, Universität Augsburg
CY  - Augsburg
ER  -