A programming language for the flight software of the NASA space shuttle program was developed and identified as HAL/S. The language is intended to satisfy virtually all of the flight software requirements of the space shuttle. The language incorporates a wide range of features, including applications-oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    HAL/S language specification


    Contributors:

    Publication date :

    1974-06-15


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    Software Specification Language

    Buckles, B. P. / Ryan, J. P. / Austin, S. L. | NTRS | 1983


    HAL/SM language specification

    Williams, G.P.W. / Ross, C. | Tema Archive | 1975


    Cockpit natural language an application specification

    Lizza, G. / Goulet, C.J. | Tema Archive | 1986