为一种即时性的电脑程式语言，美国国家航空暨太空总署专用以处理定点数的数学运算。该语言是太空程式语言（Space Programming Language; SPL）的子集，它借用许多PL/I程式语言的观念。