The Ada compiler validation capability

John B. Goodenough 0002. The Ada compiler validation capability. In Paul W. Abrahams, editor, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, SIGPLAN 1980, Boston, Massachusetts, USA, December 9, 1980. pages 1-8, ACM, 1980. [doi]

Abstract

Abstract is missing.