HAL/S é uma linguagem de montagem de alto nível utilizada para a programação de sistemas de controlo de naves espaciais. Foi desenvolvida pela Honeywell Corporation nos anos 60 e continua a ser utilizada até hoje.
HAL/S foi concebido para programação num ambiente em tempo real. É uma linguagem simbólica, o que significa que utiliza códigos mnemónicos para representar instruções. Isto torna a linguagem fácil de ler e escrever, e também facilita a geração de código de montagem a partir de código de alto nível.
O HAL/S é uma linguagem muito eficiente, e é frequentemente utilizado em aplicações de missão crítica. Tem um pequeno conjunto de instruções, o que o torna fácil de implementar em hardware. O HAL/S é também muito portátil, e pode ser utilizado numa variedade de diferentes sistemas de controlo de naves espaciais.
Apesar das suas vantagens, o HAL/S tem alguns inconvenientes. Não é uma linguagem muito flexível, e não é bem adequada para aplicações que requerem muito processamento de dados. Também não é muito fácil de aprender, devido à sua sintaxe e falta de documentação.