TCOL.Ada
TCOL.Ada
CMU, 1980. An intermediate representation for Ada, was merged
with AIDA to form Diana. "TCOL.Ada: Revised Report on an
Intermediate Representation for the DOD Standard Programming
Language", J.M. Newcomer et al, CMU-CS-79-128 (June 1979).