TY - RPRT TI - A system for evaluating Ada implementations using synthesized benchmarks AU - Knight, John C. AU - Crowe, Richard H. PY - 1988 UR - https://ntrs.nasa.gov/citations/19890038285 ID - 19890038285 ER -