HotAda-Projekt / HotAda project
The short project was researched in cooperation with Telekom-Zentrum Darmstadt.
Many thanks for providing the interesting research topic about quality improvement of
Ada programs and the financial support of the work.
For further information contact Prof. H.-J. Hoffmann
and see the home page Programming Languages and Compilers,
Darmstadt University of Technology.
Literature
Patrick Closhen, Hans-Jürgen Hoffmann
An Ada95 programming style checker using the GNAT ASIS implementation;
H. B. Keller, E.Plödereder (eds.), Proc. Ada-Europe 2000, Springer, LNCS 1945, 2000, 145 - 160
Webmaster
last update: April 28, 2006