An Efficient Compiler Validation Method for Ada 9X

Michael Tonndorf. An Efficient Compiler Validation Method for Ada 9X. In Michel Gauthier, editor, Ada-Europe 93, 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993, Proceedings. Volume 688 of Lecture Notes in Computer Science, pages 95-107, Springer, 1993.

Abstract

Abstract is missing.