Red(ID:824/red001)

(Also "REDL").

Ironman/Steelman submission from Intermetrics team led by Benjamin M. Brosgol, and derived largely from systems implementation language CS-4.
Related languages
CS-4 => Red   Evolution of
Steelman => Red   Evolution of
Red => RED1   Evolution
References:
  • Dijkstra, E.W. "On the RED Language Submitted to the DoD", view details
          in SIGPLAN Notices 13(10) Oct 1978 view details
  • "Informal Language Specification -- Red" DoD January 1979 view details Abstract: The purpose of this document is to provide an informal specification of REDL, a language based on Pascal and designed in accordance with the Department of Defense's Revised Ironman requirements. The name "REDL", short for "Red Language", is derived from the color code established for this document by DoD. The syntax of REDL is presented formally, through the use of syntax diagrams; the semantics of the language is described informally, in English. The description in this document is intended to be sufficiently complete so that the reader can judge the compliance of REDL with the Ironman and with the other evaluation criteria established by the DoD's High Order Language Working Group.

          in SIGPLAN Notices 13(10) Oct 1978 view details
  • "Preliminary Design Phase Report -- Red" Department of Defense 1979 view details Abstract: The purpose of this document is to demostrate how REDL succeeds in realizing the DoD's criteria for a common language. Chapter 2 provides a description of REL's compliance with Ironman. In those cases where a part of a requirement is not met, a supporting explanation is given. Chapter 3 focuses upon certain key decisions in the design process and gives the rationale behind them. Chapter 4 analyzes the feasibility of implementing REDL, concentrating on formal semantic specification, documentation requirements, test translator design, and language support facilities. Chapter 5 summarizes the compliance of REDL with the DoD's Analyses Plan. Appendix A provides some details relevant to a design decision on recursion and displays.

          in SIGPLAN Notices 13(10) Oct 1978 view details
  • Brosgol, Benjamin, et al. "Red Language Design Rationale" INTERMETRICS, Inc. 1979 view details Abstract: This document provides a rationale for the main design decisions in the Red Language. In contrast to the Language Reference Manual, which describes what the language facilities are, this report explains why these features are present and how they are used. Particular attention is paid to design alternatives for the various language facilities, and reasons are supplied for the acceptance or rejection of the alternative approaches. Prgramming examples of various sizes illustrate the usage of the Red language, and an appendix to this document contains a set of programs, representative of embedded applications, whose specifications were supplied by DoD.

          in SIGPLAN Notices 13(10) Oct 1978 view details
  • Moss, J. Eliot B."Red Language Formal Semantic Specification" Intermetrics, Inc. for DoDApril 1979 view details Abstract: This document is a formal definition of RED, a language designed by Intermetrics, Inc. to meet the DoD Steelman requirements for a high order computer language. In the introductory sections of this definition, the author explains the definitional method used, comment on why it was chosen, and presents notational conventions. Then the technical part of the definition is given, along with an index to the definitions and uses of the functions presented.

          in SIGPLAN Notices 13(10) Oct 1978 view details
  • Nestor, John and Mary van Deusen, "RED Language Reference Manual", Intermetrics 1979. view details Abstract: RED is a programming language designed, in accordance with the DoD "Steelman" requirements, for DoD embedded computer applications. The language combines features common to most existing high level languages with new capabilities for abstract data types, exception handling, multitasking, generic definitions, and access to machine-dependent facilities.

          in SIGPLAN Notices 13(10) Oct 1978 view details