(MAL) A microprogramming language with high-level syntax, used in the reference below. See also Mic-1, Mac-1.