This page in English
SucheTransformational construction of correct pointer algorithms
T. Ehm
erschienen Juli 2001
Andrei Ershov Fourth International Conference on Perspectives of Systems Informatics.
pp. 116-130, Novosibirsk, Russia, Juli 2001.
In D. Bjorner, M. Broy, A.V. Zamulin (eds.): Lecture Notes in Computer Science 2244.
Springer-Verlag.
pp. 116-130, Novosibirsk, Russia, Juli 2001.
In D. Bjorner, M. Broy, A.V. Zamulin (eds.): Lecture Notes in Computer Science 2244.
Springer-Verlag.
Downloads:
- Transformational construction of correct pointer algorithms - (2001_ehm_transf-constr.pdf, 181 KB)