Loading...
Please wait, while we are loading the content...
Similar Documents
Hal/s language specification. version ir-542
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Copyright Year | 1980 |
| Description | The formal HAL/S language specification is documented with particular referral to the essentials of HAL/S syntax and semantics. The language is intended to satisfy virtually all of the flight software requirements of NASA programs. To achieve this, HAL/S incorporates a wide range of features, including applications oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks. |
| File Size | 21917748 |
| Page Count | 340 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19810008240 |
| Archival Resource Key | ark:/13960/t8ff8kq5d |
| Language | English |
| Publisher Date | 1980-09-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Input Specifications Error Correcting Devices Symbols Output Language Programming Syntax High Level Languages Grammars Real Time Operation Ntrs Nasa Technical Reports ServerĀ (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |