Institute for Reliable Computing
Head:
Prof. Dr. Siegfried M. Rump
PUBLICATIONS - DIRK HUSUNG
- D. Husung. TPX Version 1.1 US Precompiler for Turbo Pascal 5.0. Technical Report 93.2, Forschungsschwerpunkt Informations- und Kommunikationstechnik, TU Hamburg-Harburg, 1993. (hdl.handle.net/11420/9593)
- D. Husung. TPX version 1.1 D : precompiler for Turbo Pascal 5.0 Technical Report 91.1, Forschungsschwerpunkt Informations- und Kommunikationstechnik, TU Hamburg-Harburg, 1991. (hdl.handle.net/11420/9537)
- 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. (hdl.handle.net/11420/9497)
- D. Husung. Precompiler for Scientific Computation (TPX). Technical Report 91.1, Forschungsschwerpunkt Informations- und Kommunikationstechnik, 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. (hdl.handle.net/11420/9502)
- D. Husung. ABACUS — Programmierwerkzeug mit hochgenauer Arithmetik für Algorithmen mit verifizierten Ergebnissen. Diplomarbeit, Universität Karlsruhe, 1988.