CTL -
1. Checkout Test language. "Checkout Test Language: An Interpretive
Language Designed for Aerospace Checkout Tasks", G.S. Metsker, Proc FJCC
33(2) (1968).
2. Compiler Target Language. 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.
Comments, Experience, Additions
Next Language: Cube