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

Compiler Target Language

   (CTL) The intermediate language used by the ALICE parallel
   machine.

   ["The Design and Implementation of ALICE: A Parallel Graph
   Reduction Machine", M.D. Cripps et al, Proc Workshop on Graph
   Reduction, Springer 1987].

   (1994-11-14)