United States. Department of Defense

Summary

United States. Department of Defense Strawman language requirements (1975)

It is our belief that each requirement should be brief and address a single issue. Requirements should be sufficiently precise so that the question "does language X meet this requirement" is answerable. Requirements should express a need rather than a mechanism for meeting that need. Thus an attempt should be made to replace each initial requirement by the specific underlying need. It is obvious that the strawman does not fully meet these goals.
Each requirement should be traceable. That is, the operational or technological source of the requirement should be given with the requirement.
Source: Wikisource

United States. Department of Defense Strawman language requirements (1975)

II. TRANSLATOR Any translator for the language must implement the entire language (NO subsets) .
Any translator for the language must implement only the language as specified (translator implementer may not expand the language specification) .
Translator does not have to run on all object machines. Self-hosting is not required.
II.A OBJECT CODE The translator will generate efficient object code.
It will be the responsibility of the translator to insure that optimization does not change the effect of the program (i.e., code motion is allowed if it does not change the results) .
Source: Wikisource

United States. Department of Defense Strawman language requirements (1975)

The translator will not impose run-time costs for unused generalities.
Translator will evaluate constant expressions at compile time.
Translator (s) must be able to produce code for a variety of object machines. (Language features will be machine independent) .
Prevention of race conditions and deadlocks on shared data will be guaranteed.
II.B COMPILE-TIME CHECKS The types of all variables, expressions, and parameters will be checked for compatability at translation/binding time.
Source: Wikisource

Get perspective with Kwize: daily news enlightened by great literature