Deborah Rennels, Edmond Schonberg. A program analysis tool for evaluating the Ada compiler validation suite. In Dewayne E. Perry, editor, Proceedings of the First International Symposium on Environments and Tools for Ada, SETA 1990, Redondo Beach, California, USA, April 30 - May 2, 1990. pages 137-148, ACM, 1990. [doi]
Abstract is missing.