An Ada95 Programming Style Checker Using the GNAT ASIS Implementation

Patrick Closhen, Hans-Jürgen Hoffmann. An Ada95 Programming Style Checker Using the GNAT ASIS Implementation. In Hubert B. Keller, Erhard Plödereder, editors, Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, Proceedings. Volume 1845 of Lecture Notes in Computer Science, pages 149-160, Springer, 2000.

Abstract

Abstract is missing.