HALMAT

The intermediate language used by HAL/S.