William A. Whitaker
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.
- {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.Google Scholar
- {ACM, 1981} ACM Ada Letters, (1981 and continuing), previously Ada Implementor's Newsletter (from 1979).Google Scholar
- {Ada, 1979a} Preliminary Ada Reference Manual, SIGPLAN Notices, Vol. 14, No. 6A, June 1979, AD-A071 761. Google ScholarDigital Library
- {Ada, 1979b} Rationale for the Design of the Ada Programming Language, SIGPLAN Notices, Vol, 14, No. 6B, June 1979, AD-A073 854. Google ScholarDigital Library
- {Ada, 1983} ANSI/MIL-STD-1815A-1983, Reference Manual for the Ada Programming Language, 1983, AD-A131 511. Google ScholarDigital Library
- {AFATL, 1978} Report of the Eglin Workshop on Common Compiler Technology, AFTAL, 28 Sept. 1978.Google Scholar
- {Berning, 1980} Berning, Paul. T. Formal SEMANOL Specification of Ada, Rome Air Development Center Report RADC-TR-80-293, Sept. 1980, AD-A091 682.Google ScholarCross Ref
- {Bjorner, 1980} Bjorner, D. and Oest, O. N., Towards a formal definition of Ada, Lecture Notes in Computer Science, Vol. 98, Springer-Verlag, 1980. Google ScholarDigital Library
- {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.Google Scholar
- {Bowden, 1953} Bowden, B. V., Faster Than Thought, London: Pitman, 1953.Google Scholar
- {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.Google Scholar
- {CAIS, 1986} DOD-STD-1838 Common APSE Interface Set (CAIS), Oct. 1986.Google Scholar
- {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. Google ScholarDigital Library
- {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.Google Scholar
- {Cohen, 1981} Cohen, Paul M., From HOLWG to AJPO---Ada in Transition, Ada Joint Program Office, (internal document), 1981.Google Scholar
- {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.Google Scholar
- {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.Google Scholar
- {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.Google Scholar
- {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.Google Scholar
- {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.Google Scholar
- {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, 1983Google Scholar
- {DIANA, 1981} Diana Reference Manual, Institut fur Informatik II, Universitat Karlsruhe and Department of Computer Science, Carnegie-Mellon University; Report 1/81, Mar. 1981.Google Scholar
- {DIANA, 1983} Evans, Jr., Arthur and Butler, Kenneth J., DIANA (Descriptive Intermediate Attribute Notation for Ada) Reference Manual, Revision 3, 1983, AD-A128 232.Google Scholar
- {DIANA, 1986} McKinley, Kathryn L. and Schaefer, Carl F., DIANA Reference Manual, Revision 4, Intermetrics, Inc, IR-MD-078, May 1986.Google Scholar
- {DoD, 1976b} Department of Defense Directive 5000.29, Management of Computer Resources in Major Defense Systems, 26 April 1976.Google Scholar
- {DoD, 1976c} Department of Defense Instruction 5000.31, Interim List of DoD High Order Programming Languages (HOL), 24 Nov. 1976.Google Scholar
- {Donzeau-Gouge, 1979} Donzeau-Gouge, Veronoque, Kahn, G., and Lang, B., Green Language, A Formal Definition, Honeywell, CII Honeywell Bull, INRIA, 1979, ADA058 047.Google Scholar
- {Donzeau-Gouge, 1980} Donzeau-Gouge, Veronoque, Kahn, G., and Lang, B., Formal Definition of the Ada Programming Language, Honeywell, CII Honeywell Bull, INRIA, 1980.Google Scholar
- {Duncan, 1979a} Ducan, C. W. Jr., Letter from Deputy Secretary of Defense, Washington, DC, 14 May 1979. Figure 5.5 of this paper.Google Scholar
- {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.Google Scholar
- {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.Google Scholar
- {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.Google Scholar
- {Fox, 1978} Fox, Joseph M., Benefit Model for High Order Language, Decisions and Designs Incorporated, TR78-2-72, Mar. 1978.Google Scholar
- {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.Google Scholar
- {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. Google ScholarDigital Library
- {HOLWG, 1975a} "STRAWMAN" Requirements for a DoD High Order Programming Language, February 1975.Google Scholar
- {HOLWG, 1975b} "WOODENMAN" Set of Criteria and Needed Characteristics for a Common DoD Programming Language, David A. Fisher, IDA, 13 Aug. 1975.Google Scholar
- {HOLWG, 1976} Department of Defense Requirements for High Order Computer Programming Languages "TINMAN", June 1976.Google Scholar
- {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.Google Scholar
- {HOLWG, 1977b} Department of Defense Requirements for High Order Computer Programming Languages "IRONMAN", Jan. 1977.Google Scholar
- {HOLWG, 1977c} High Order Language Working Group, Studies of the Economic Implications of Alternatives in the DoD High Order Commonality Effort, Internal Study, 1977.Google Scholar
- {HOLWG, 1977d} Department of Defense Requirements for High Order Computer Programming Languages "IRONMAN" Revised, July 1977.Google Scholar
- {HOLWG, 1978a} HOLWG, DoD High Order Language Commonality Effort---Design, Phase I Report and Analyses, June 1978, AD-B950 587.Google Scholar
- {HOLWG, 1978b} Department of Defense Requirements for High Order Computer Programming Languages "STEELMAN", June 1978, AD-A059 444.Google Scholar
- {HOLWG, 1978c} Department of Defense Requirements for the Programming Environment for the Common High Order Language "PEBBLEMAN", July 1978.Google Scholar
- {HOLWG, 1979a} Department of Defense Requirements for the Programming Environment for the Common High Order Language "PEBBLEMAN" Revised, Jan. 1979.Google Scholar
- {HOLWG, 1979b} Test and Evaluation Newsletter Number 1;25 May 1979; also in SIGPLAN Notices, Sept. 1979, pp.77--80.Google Scholar
- {HOLWG, 1979c} Ada Test and Evaluation Workshop (Proceedings), DARPA and MIT Laboratory for Computer Science; Oct. 1979, pp 23--26.Google Scholar
- {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).Google Scholar
- {HOLWG, 1980b} DoD Requirements for Ada Programming Support Environments, "STONEMAN", Feb. 1980, AD-A100 404.Google Scholar
- {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. Google ScholarDigital Library
- {IEEE, 1985} ANSI/IEEE Std 754-1985, IEEE Standard for Binary Floating-Point Arithmetic, New York: IEEE, 1985 (Reaffirmed 1991).Google Scholar
- {IEEE, 1987} ANSI/IEEE Std 990-1987, IEEE Recommended Practice for Ada As a Program Design Language, New York: IEEE, 1987.Google Scholar
- {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.Google Scholar
- {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.Google Scholar
- {Moore, 1977} Moore, Doris Langley-Levy, Ada, Countess of Lovelace: Byron's Legitimate Daughter, London: Murray, 1977.Google Scholar
- {Morrison, 1961} Morrison, P. and E., Charles Babbage and His Calculating Engines, New York: Dover, 1961.Google Scholar
- {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.Google Scholar
- {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.Google Scholar
- {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.Google Scholar
- {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.Google Scholar
- {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.Google Scholar
- {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.Google Scholar
- {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.Google Scholar
- {Stein, 1985} Stein, Dorothy, Ada: A Life and a Legacy, Cambridge MA: MIT Press, 1985, ISBN 0-262-19242-X. Google ScholarDigital Library
- {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.Google Scholar
- {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).Google Scholar
- {Whitaker, 1977} Whitaker, William A., The US Department of Defense Common High Order Language Effort, SIGPLAN Notices, Feb. 1977.Google Scholar
- {Whitaker, 1983} Whitaker, William A., Three Ada Examples, in COMPCON 83, 26th IEEE Computer Society International Conference, 1983, pp. 355--359.Google Scholar
- {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.Google Scholar
- {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. Google ScholarDigital Library
Index Terms
- ADA---the project: the DoD high order language working group
Recommendations
Ada—the project: the DoD high order language working group
HOPL-II: The second ACM SIGPLAN conference on History of programming languagesThe 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 ...
Ada—the project: the DoD high order language working group
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 ...
Comments