HAL/S

HAL/S (High-order Assembly Language/Shuttle)^[1] is a real-time aerospace programming language, best known for its use in the Space Shuttle program.^[2] It was designed by Intermetrics in the 1970s for NASA. HAL/S is written in XPL, a dialect of PL/I.

Goals and principles

The three key principles in designing the language were reliability, efficiency, and machine-independence. The language is designed to allow aerospace-related tasks (such as vector/matrix arithmetic) to be accomplished in a way that is easily understandable by people who have spaceflight knowledge, but may not necessarily have proficiency with computer programming.

HAL/S was designed not to include some constructs that are thought to be the cause of errors. For instance, there is no support for dynamic memory allocation. The language provides special support for real-time execution environments.

Some features, such as "GOTO" were provided chiefly to ease mechanical translations from other languages.^[3]

On the Preface page of the HAL/S Language Specification,^[4] it says,

fundamental contributions to the concept and implementation of MAC were made by Dr. J. Halcombe Laning of the Draper Laboratory.

"HAL" was suggested as the name of the new language by Ed Copps, a founding director of Intermetrics, to honor Hal Laning, a colleague at MIT.

A proposal for a NASA standard ground-based version of HAL named HAL/G for "ground" was proposed, but the coming emergence of the soon to be named Ada programming language contributed to Intermetrics' lack of interest in continuing this work. Instead, Intermetrics would place emphasis on what would be the "Red" finalist which would not be selected.

Syntax

HAL/S is a mostly free-form language: statements may begin anywhere on a line and may spill over the next lines, and multiple statements may be fitted onto the same line if required. However, non-space characters in the first column of a program line may have special significance. For instance, the letter 'C' in the first column indicates that the whole line is a comment and should be ignored by the compiler.

One particularly interesting feature of HAL/S is that it supports, in addition to a normal single line text format, an optional three-line input format in which three source code lines are used for each statement. In this format, the first and third lines are usable for superscripts (exponents) and subscripts (indices). The multi-line format was designed to permit writing of HAL/S code that is similar to mathematical notation.

As an example, the statement $x=a^{2}+b_{i}^{2}$ could be written in single-line format as:

X = A ** 2 + B$(I) ** 2

Exponentiation is denoted by two asterisks, as in PL/I and Fortran. The subscript $i$ is denoted by a dollar sign,with the subscript expression enclosed in parentheses. The same code fragment could be written in multiple-line format as:

E       2     2
M  X = A  + B
S            I

In the example, the base line of the statement is indicated by an 'M' in the first column, the exponent line is indicated by an 'E', and the subscript line is indicated by an 'S'.

Data types

HAL/S has native support for integers, floating point scalars, vector, matrices, booleans and strings of 8-bit characters, limited to a maximum length of 255. Structured types may be composed using a DECLARE STRUCT statement.

References

↑ "STS Software". NSTS 1988 News Reference Manual. NASA. Retrieved 2011-03-30.
↑ http://www.sqlite.org/talks/wroclaw-20090310.pdf
↑ Programming in HAL/S, page 82
↑ HAL/S Language Specification

External links

NASA Office of Logic Design: Space Shuttle Computers and Avionics
- Includes language and compiler specifications, programmer's guide, and user manual.
Computers in Spaceflight: The NASA Experience – By George Tomayko (Appendix II: "HAL/S, A Real-Time Language for Spaceflight")

This article is issued from Wikipedia - version of the Monday, September 14, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.