HAL/S
HAL/S è un linguaggio real-time per applicazioni aereospaziali, conosciuto per il suo utilizzo nello Space Shuttle. È stato sviluppato negli anni '70 dalla Intermetrics per la NASA.HAL/S è stato scritto utilizzando XPL, un dialetto del PL/I.
I tre fattori chiave presi in considerazione nella stesura del linguaggio sono stati: affidabilità , efficienza e indipendenza dall'hardware.
Il linguaggio è stato concepito in modo da poter rendere compiti, quali il calcolo vettoriale associato alle operazioni aereospazieli, facilmente comprensibili alle persone che possiedono nozioni in materia.
HAL/S è stato scritto senza utilizzare saliti incondizionali (come i GOTO del BASIC), le parole chiave sono tutte riservate (non è possibile definire variabili con lo stesso nome), tutte funzionalità pensate per ridurre i possibili errori di codifica e rendere i programmi facilmente comprensibili.
HAL ufficialmente significa High-order Assembly Language, ma probabilmente il computer HAL 9000 di potrebbe aver giocato un ruolo nella scelta dell'acronimo.
