The Free On-line Dictionary of Computing (30 December 2018):

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).