Institute for Reliable Computing
Head:
Prof. Dr. Siegfried M. Rump
PUBLICATIONS - DIRK HUSUNG
- D. Husung and S.M. Rump. ABACUS, Sprachbeschreibung. In L. Atanassova et al., editor, Computer arithmetic and enclosure methods: Proceedings of the Third International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91), Oldenburg, Germany, 1 - 4 October 1991, Dublin, 1991.
- D. Husung. TPX version 1.01, Precompiler for Turbo Pascal 5.0 Extensions, 1990.
- D. Husung. Precompiler for Scientific Computation (TPX). Technical Report 91.1, Inst. f. Informatik III, TU Hamburg-Harburg, 1989.
- D. Husung and S.M. Rump. ABACUS. In Proceedings SCAN '89, Tagung ''Wissenschaftliches Rechnen und Programmiersprachen'', pages 52–53, Basel, 1989.
- D. Husung. ABACUS — Programmierwerkzeug mit hochgenauer Arithmetik für Algorithmen mit verifizierten Ergebnissen. Diplomarbeit, Universität Karlsruhe, 1988.