A real-time language used by NASA for onboard shuttle software.
["Two-Dimensional Characteristics of HAL, A Language for Spaceflight Applications", J.S. Miller, SIGPLAN Notices 7(10) (Oct 1972)].
(20 Oct 1994)