HALMAT

HALMAT

Intermediate language used by HAL/S.