Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/234286.1057816acmotherbooksArticle/Chapter ViewAbstractPublication PagesBookacm-pubtype
chapter
Free access

ADA---the project: the DoD high order language working group

Published: 01 January 1996 Publication History

Abstract

The Department of Defense (DoD) High Order Language Commonality program began in 1975, with the goal of establishing a single high order computer programming language appropriate for DoD real-time embedded computer systems. A High Order Language Working Group (HOLWG) was chartered to formulate the DoD requirements for High Order Languages, to evaluate existing languages against those requirements, and to implement the minimal set of languages required for DoD use. Other parts of the effort included administrative initiatives toward the eventual goal: specifically, DoD Directive 5000.29, which provided that new defense systems should be programmed in a DoD "approved" and centrally controlled high order language, and DoD Instruction 5000.31, which gave the interim defining list of approved languages. The HOLWG language requirements were widely distributed for comment throughout the military and civil communities worldwide. Each successive version of the requirements, from STRAWMAN through STEELMAN, produced a more refined definition of the proposed language. During the requirement development process, it was determined that the set of requirements generated was both necessary and sufficient for all major DoD applications (and the analogous large commercial applications). Formal evaluations were performed on dozens of existing languages. It was concluded that no existing language could be adopted as a single common high order language for the DoD, but that a single language, meeting essentially all the requirements, was both feasible and desirable. Four contractors were funded to produce competitive prototypes. A first-phase evaluation reduced the designs to two, which were carried to completion. In turn, a single language design was subsequently chosen. Follow-on steps included the test and evaluation of the language, control of the language, and validation of compilers. The production of compilers and a program development and tool environment were to be accomplished separately by the individual Service Components. The general requirements and expectations for the environment and the control of the language were addressed in another iterative series of documents. A language validation capability (the test code suite), and associated facilities, were established to assure compliance to the language definition of compilers using the name "Ada." The name Ada was initially protected by a DoD-owned trademark.

References

[1]
{ACM, 1980} Proceedings--ACM SIGPLAN Symposium on the Ada Programming Language, Boston. MA, December 9--11, 1980, ACM SIGPLAN Notices, Vol. 15, No. 11, Nov. 1980.
[2]
{ACM, 1981} ACM Ada Letters, (1981 and continuing), previously Ada Implementor's Newsletter (from 1979).
[3]
{Ada, 1979a} Preliminary Ada Reference Manual, SIGPLAN Notices, Vol. 14, No. 6A, June 1979, AD-A071 761.
[4]
{Ada, 1979b} Rationale for the Design of the Ada Programming Language, SIGPLAN Notices, Vol, 14, No. 6B, June 1979, AD-A073 854.
[5]
{Ada, 1983} ANSI/MIL-STD-1815A-1983, Reference Manual for the Ada Programming Language, 1983, AD-A131 511.
[6]
{AFATL, 1978} Report of the Eglin Workshop on Common Compiler Technology, AFTAL, 28 Sept. 1978.
[7]
{Berning, 1980} Berning, Paul. T. Formal SEMANOL Specification of Ada, Rome Air Development Center Report RADC-TR-80-293, Sept. 1980, AD-A091 682.
[8]
{Bjorner, 1980} Bjorner, D. and Oest, O. N., Towards a formal definition of Ada, Lecture Notes in Computer Science, Vol. 98, Springer-Verlag, 1980.
[9]
{Botta, 1987} Botta, N. and Pertersen, J. Storbank, The Draft Formal Definition of Ada, The Static Semantics Definition, Vol. 1--4 Jan. 1987, Dansk Datamatik Center, Lyngby, Denmark.
[10]
{Bowden, 1953} Bowden, B. V., Faster Than Thought, London: Pitman, 1953.
[11]
{CAIS, 1983} Draft Specification of the Common APSE Interface Set (CAIS), Version 1.0, prepared by KIT/KITIA Working Group for Ada JPO, 26 Aug. 1983.
[12]
{CAIS, 1986} DOD-STD-1838 Common APSE Interface Set (CAIS), Oct. 1986.
[13]
{Carlson, 1980} Carlson, W. E., Druffel, L. E., Fisher, D. A., and Whitaker, W. A., Introducing Ada, in Proceedings of the 1980 ACM Annual Conference, ACM, Oct. 1980, pp. 27--29.
[14]
{Clapp, 1977} Clapp, Judy A., Loebenstein, E., and Rhymer, P., A Cost/Benefit Analysis of High Order Language Standardization, M78-206, The MITRE Corporation, Sept. 1977.
[15]
{Cohen, 1981} Cohen, Paul M., From HOLWG to AJPO---Ada in Transition, Ada Joint Program Office, (internal document), 1981.
[16]
{Currie, 1975a} Currie, Malcolm R., DoD Higher Order Programming Language, Memorandum from Director of Defense Research and Engineering, Washington, DC, 28 Jan. 1975. Figure 5.1 of this paper.
[17]
{Currie, 1975b} Currie, Malcolm R., DoD Higher Order Programming Language Working Group, Memorandum from Director of Defense Research and Engineering, Washington, DC, 2 May 1975. Figure 5.2 of this paper.
[18]
{Currie, 1976} Currie, Malcolm R., DoD High Order Language Program, Memorandum from Director of Defense Research and Engineering, Washington, DC, 10 May 1976. Figure 5.3 of this paper.
[19]
{Dausmann, 1980} Dausmann, M., Drossopoulou, S., Goos, G., Persch, G., and Winterstein, G., AIDA Reference Manual (Preliminary Draft), Institut fur Informatick II, University of Karlsruhe, Report 2/80, 4 Feb. 1980.
[20]
{DeLauer, 1983} DeLauer, Richard D., Interim DoD Policy on Computer Programming Languages, Memorandum from Undersecretary of Defense (Research and Engineering), Washington, DC, 10 June 1983.
[21]
{Dewar, 1983} Dewar, R., Froelich, R. M., Fisher, G. A., and Kruchten, P., An Executable Semantic Model for Ada, Ada/Ed Interpreter, Ada Project, Courant Institute New York University, 1983
[22]
{DIANA, 1981} Diana Reference Manual, Institut fur Informatik II, Universitat Karlsruhe and Department of Computer Science, Carnegie-Mellon University; Report 1/81, Mar. 1981.
[23]
{DIANA, 1983} Evans, Jr., Arthur and Butler, Kenneth J., DIANA (Descriptive Intermediate Attribute Notation for Ada) Reference Manual, Revision 3, 1983, AD-A128 232.
[24]
{DIANA, 1986} McKinley, Kathryn L. and Schaefer, Carl F., DIANA Reference Manual, Revision 4, Intermetrics, Inc, IR-MD-078, May 1986.
[25]
{DoD, 1976b} Department of Defense Directive 5000.29, Management of Computer Resources in Major Defense Systems, 26 April 1976.
[26]
{DoD, 1976c} Department of Defense Instruction 5000.31, Interim List of DoD High Order Programming Languages (HOL), 24 Nov. 1976.
[27]
{Donzeau-Gouge, 1979} Donzeau-Gouge, Veronoque, Kahn, G., and Lang, B., Green Language, A Formal Definition, Honeywell, CII Honeywell Bull, INRIA, 1979, ADA058 047.
[28]
{Donzeau-Gouge, 1980} Donzeau-Gouge, Veronoque, Kahn, G., and Lang, B., Formal Definition of the Ada Programming Language, Honeywell, CII Honeywell Bull, INRIA, 1980.
[29]
{Duncan, 1979a} Ducan, C. W. Jr., Letter from Deputy Secretary of Defense, Washington, DC, 14 May 1979. Figure 5.5 of this paper.
[30]
{Duncan, 1979b} Ducan, C. W. Jr., Letter from Deputy Secretary of Defense to The Earl of Lytton, Washington, DC, 14 May 1979. Figure 5.8 of this paper.
[31]
{Fisher, 1974} Fisher, David A., Automatic Data Processing Costs in the Defense Department, Paper P-1046, Institute for Defense Analyses, Oct. 1974, AD-A004 841.
[32]
{Fisher, 1978a} Fisher, D. A. and Wetherall, P. R., Rationale for Fixed-Point and Floating-Point Computation Requirements for a Common Programming Language, Institute for Defense Analyses, Report IDA-P-1305, Jan. 1978.
[33]
{Fox, 1978} Fox, Joseph M., Benefit Model for High Order Language, Decisions and Designs Incorporated, TR78-2-72, Mar. 1978.
[34]
{Giovini, 1987} Giovini, Alessandro, Mazzanti, Franco, Reggio, Gianna, and Zucca, Elena, The Draft Formal Definition of Ada, The Dynamic Semantics Definition, Current Algebra, Vol. 4, Dec. 86, Dansk Datamatik Center, Lyngby, Denmark.
[35]
{Goodenough, 1980} Goodenough, John, The Ada Compilation Validation Capability, in Proceedings--ACM SIGPLAN Symposium on the Ada Programming Language, Boston, MA, Dec. 9--11, 1980, ACM SIGPLAN Notices, Vol. 15, No. 11, Nov. 1980, pp. 1--8.
[36]
{HOLWG, 1975a} "STRAWMAN" Requirements for a DoD High Order Programming Language, February 1975.
[37]
{HOLWG, 1975b} "WOODENMAN" Set of Criteria and Needed Characteristics for a Common DoD Programming Language, David A. Fisher, IDA, 13 Aug. 1975.
[38]
{HOLWG, 1976} Department of Defense Requirements for High Order Computer Programming Languages "TINMAN", June 1976.
[39]
{HOLWG, 1977a} Amoroso, S., Wegner, P., Morris, D., White, D., Loper, W., Cambell, W., and Showalter, C., Language Evaluation Coordinating Committee Report to the High Order Language Working Group (HOLWG), 14 Jan. 1977, AD-A037 634.
[40]
{HOLWG, 1977b} Department of Defense Requirements for High Order Computer Programming Languages "IRONMAN", Jan. 1977.
[41]
{HOLWG, 1977c} High Order Language Working Group, Studies of the Economic Implications of Alternatives in the DoD High Order Commonality Effort, Internal Study, 1977.
[42]
{HOLWG, 1977d} Department of Defense Requirements for High Order Computer Programming Languages "IRONMAN" Revised, July 1977.
[43]
{HOLWG, 1978a} HOLWG, DoD High Order Language Commonality Effort---Design, Phase I Report and Analyses, June 1978, AD-B950 587.
[44]
{HOLWG, 1978b} Department of Defense Requirements for High Order Computer Programming Languages "STEELMAN", June 1978, AD-A059 444.
[45]
{HOLWG, 1978c} Department of Defense Requirements for the Programming Environment for the Common High Order Language "PEBBLEMAN", July 1978.
[46]
{HOLWG, 1979a} Department of Defense Requirements for the Programming Environment for the Common High Order Language "PEBBLEMAN" Revised, Jan. 1979.
[47]
{HOLWG, 1979b} Test and Evaluation Newsletter Number 1;25 May 1979; also in SIGPLAN Notices, Sept. 1979, pp.77--80.
[48]
{HOLWG, 1979c} Ada Test and Evaluation Workshop (Proceedings), DARPA and MIT Laboratory for Computer Science; Oct. 1979, pp 23--26.
[49]
{HOLWG, 1980a} HOLWG, DoD High Order Language Commonality Effort---Ada Design, Phase II Reports and Analyses, Jan. 1980, ADA-80-1-M or AD-A141 817 (available only from DTIC).
[50]
{HOLWG, 1980b} DoD Requirements for Ada Programming Support Environments, "STONEMAN", Feb. 1980, AD-A100 404.
[51]
{Ichbiah, 1987} Ichbiah, Jean D., Barnes, John G. P., Firth, Robert J., and Woodger, Mike, Rationale for the Design of the Ada Programming Language, Honeywell, 1987, AD-A187 106.
[52]
{IEEE, 1985} ANSI/IEEE Std 754-1985, IEEE Standard for Binary Floating-Point Arithmetic, New York: IEEE, 1985 (Reaffirmed 1991).
[53]
{IEEE, 1987} ANSI/IEEE Std 990-1987, IEEE Recommended Practice for Ada As a Program Design Language, New York: IEEE, 1987.
[54]
{Lytton, 1978} Lytton, Letter to Phillip Wetherall from The Earl of Lytton, Keeper Knight's, Pound Hill, Crawley, Sussex, England, 18 Oct. 1978, Figure 5.7 of this paper.
[55]
{Monterey, 1973} Proceedings of a Symposium on the High Cost of Software Held at the Naval Postgraduate School, Monterey California on September 17--19, 1973, SRI Project 3272, Stanford Research Institute, Menlo Park, CA, Sept. 1973.
[56]
{Moore, 1977} Moore, Doris Langley-Levy, Ada, Countess of Lovelace: Byron's Legitimate Daughter, London: Murray, 1977.
[57]
{Morrison, 1961} Morrison, P. and E., Charles Babbage and His Calculating Engines, New York: Dover, 1961.
[58]
{Nielsen, 1987} Nielsen, C. Bendix and Karlsen, E. W., The Draft Formal Definition of Ada, The Dynamic Semantics Definition, Vol. 1--3, Jan. 87, Dansk Datamatik Center, Lyngby, Denmark.
[59]
{Newcomer, 1979} Newcomer, J. M., Lamb, D. A., Leverett, B. W., Levine, D., Reiner, A. H., Tighe, M., and Wulf, W. A., TCOL-Ada; Revised Report on an Intermediate Representation for the DoD Standard Programming Language, Department of Computer Science, Carnegie-Mellon University, Report CMU-CS-79-128, 20 June 1979.
[60]
{Oberndorf, 1983} Oberndorf, Patricia, Kernel Ada Program Support Environment (KAPSE) Interface Team. Public Report, Report NOSC/TD-552, Vol. 1, Oct. 1983, AD-A115 590, Vol. 2, AD-A123 136, Vol. 3, AD-A141 576.
[61]
{Perry, 1978} Perry, William J., DoD High Order Language Commonality Program, Memorandum from Director of Defense Research and Engineering, Washington, DC, 11 April, 1978. Figure 5.4 of this paper.
[62]
{SAMSO, 1972} Information Processing/Data Automation Implication of Air Force Command and Control Requirements in the 1980s (CCIP-85), Vol. 4, Technology Trends: Software, SAMSO-TR-72-122-V-4, AD-919-267L.
[63]
{Shaw, 1978} Shaw, M., Hilfinger, P. and Wulf, W. A., TARTAN---Language Design for the Ironman Requirement; Notes and Examples, Department of Computer Science, Carnegie-Mellon University, Report CMU-CS-78-133, June 1978, AD-A062 856/0.
[64]
{Standish, 1978} Standish, Thomas, Proceedings of the Irvine Workshop on Alternatives for the Environment, Certification, and Control of the DoD Common High Order Language, Held at University of California, Irvine on 20--22 June 1978, Report UCI-ICS-78-83, AD-A089 090.
[65]
{Stein, 1985} Stein, Dorothy, Ada: A Life and a Legacy, Cambridge MA: MIT Press, 1985, ISBN 0-262-19242-X.
[66]
{Wetherall, 1978} Wetherall, Phillip R., Letter to The Earl of Lytton, Royal Signals and Radar Establishment, Great MAlvern, Worcs, England, 10 Oct. 1978. Figure 5.6 of this paper.
[67]
{Wentworth, 1938} Wentworth, Lady, Thoroughbred Racing Stock and its Ancestors: The Authentic Origin of Pure Blood, London: George Allen & Unwin Ltd., 1938 (editor's note: has the real story on horses that Bowen mistook).
[68]
{Whitaker, 1977} Whitaker, William A., The US Department of Defense Common High Order Language Effort, SIGPLAN Notices, Feb. 1977.
[69]
{Whitaker, 1983} Whitaker, William A., Three Ada Examples, in COMPCON 83, 26th IEEE Computer Society International Conference, 1983, pp. 355--359.
[70]
{Whitaker, 1990} Whitaker, William A., Programming Languages Overview, in Aerospace Software Engineering, Christine Anderson and Merlin Dorfman, eds., Washington; American Institute of Aeronautics and Astronautics, pp. 353--362, 1990.
[71]
{Williams, 1977} Williams, John H. and Fisher, David A., eds., Design and Implementation of Programming Languages---Proceedings of a DoD Sponsored Workshop, Ithaca, Oct. 1976, Lecture Notes in Computer Science, Vol. 54, Springer-Verlag, 1977.

Cited By

View all
  • (2023)A New Algorithm for Euclidean Shortest Paths in the PlaneJournal of the ACM10.1145/358047570:2(1-62)Online publication date: 21-Mar-2023
  • (2023)From Monitors to Monitors: A Primitive HistoryMinds and Machines10.1007/s11023-023-09632-234:S1(51-71)Online publication date: 5-Apr-2023
  • (2015)Ada's Legacy: Cultures of Computing from the Victorian to the Digital AgeundefinedOnline publication date: 22-Oct-2015
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other Books
History of programming languages---II
January 1996
880 pages
ISBN:0201895021
DOI:10.1145/234286

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 1996

Permissions

Request permissions for this article.

Qualifiers

  • Chapter

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)207
  • Downloads (Last 6 weeks)3
Reflects downloads up to 21 Sep 2024

Other Metrics

Citations

Cited By

View all
  • (2023)A New Algorithm for Euclidean Shortest Paths in the PlaneJournal of the ACM10.1145/358047570:2(1-62)Online publication date: 21-Mar-2023
  • (2023)From Monitors to Monitors: A Primitive HistoryMinds and Machines10.1007/s11023-023-09632-234:S1(51-71)Online publication date: 5-Apr-2023
  • (2015)Ada's Legacy: Cultures of Computing from the Victorian to the Digital AgeundefinedOnline publication date: 22-Oct-2015
  • (2011)Empirical studies on programming language stimuliSoftware Quality Journal10.1007/s11219-010-9106-719:1(65-99)Online publication date: 1-Mar-2011
  • (2003)ADAEncyclopedia of Computer Science10.5555/1074100.1074107(12-17)Online publication date: 1-Jan-2003
  • (2002)Ada Programming LanguageEncyclopedia of Software Engineering10.1002/0471028959.sof006Online publication date: 15-Jan-2002
  • (1997)HOPL II—closing panel: The history of programming (panel)ACM SIGPLAN Notices10.1145/270507.27050932:9(15-37)Online publication date: 1-Sep-1997

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media