HAL/S - Goals and Principles

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.

On the Preface page of the HAL/S Language Specification, 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.

Read more about this topic:  HAL/S

Famous quotes containing the words goals and/or principles:

    Let us beware of saying there are laws in nature. There are only necessities: there is no one to command, no one to obey, no one to transgress. When you realize there are no goals or objectives, then you realize, too, that there is no chance: for only in a world of objectives does the word “chance” have any meaning.
    Friedrich Nietzsche (1844–1900)

    That, upon the whole, we may conclude that the Christian religion not only was at first attended with miracles, but even at this day cannot be believed by any reasonable person without one. Mere reason is insufficient to convince us of its veracity: And whoever is moved by Faith to assent to it, is conscious of a continued miracle in his own person, which subverts all the principles of his understanding, and gives him a determination to believe what is most contrary to custom and experience.
    David Hume (1711–1776)