article

Free access

Rationale for the design of the Ada programming language

Authors:

Jean D. Ichbiah,

Bernd Krieg-Brueckner,

Brian A. Wichmann,

John G. P. Barnes,

Olivier Roubine,

Jean-Claude HeliardAuthors Info & Claims

ACM SIGPLAN Notices, Volume 14, Issue 6b

Pages 1 - 261

https://doi.org/10.1145/956653.956654

Published: 30 June 1979 Publication History

PDF eReader

References

[1]

{ANSI 66} ANSI (formerly USASI) X3.9 1966(USA Standard Fortran).

Google Scholar

[2]

{Ba 70} Balzer, R.M., Ports, A method for dynamic interprogram communication and job control. Rand Corporation (R605 ARPA) (1970).

Google Scholar

[3]

{Ba 76} Barnes, J.G.P., RTL/2 design and philosophy, Heyden, London (1976).

Google Scholar

[4]

{BFH 76} Bron, C., Fokkinga, M.M. and De Haas, A.C.M., A proposal for dealing with abnormal termination of programs, Twente University of Technology, Mem. Nr. 150, The Netherlands (Nov. 1976).

Google Scholar

[5]

{BJ 78} Bert, D., Jacquet, P., Some Validation Problems with Parameterized Types and Generic Functions, Proc. 3rd International Symposium on Programming, Paris, Dunod (1978), pp. 279-292.

Google Scholar

[6]

{BH 70} Brinch Hansen, P., The nucleus of a Multiprogramming System, Comm. ACM, Vol. 13,4 (April 1970), pp. 238-241.

Digital Library

Google Scholar

[7]

{BH 73} Brinch Hansen, P., Operating System Principles, Prentice Hall, N.J. 1973.

Digital Library

Google Scholar

[8]

{BH 75} Brinch Hansen, P., The Programming Language Concurrent Pascal, IEEE Trans. Soft. Eng., 1, 2(June 1975), pp. 199-207.

Google Scholar

[9]

{BH 77} Brinch Hansen, P., Distributed processes: A Concurrent Programming concept, Computer Science Department, University of Southern California-Los Angeles (1977).

Google Scholar

[10]

{BH 78} Brinch Hansen, P., Distributed processes: A Concurrent Programming Concept, Comm. ACM, Vol. 21, No. 11, November 1978, pp. 934-341.

Digital Library

Google Scholar

[11]

{Br 75} Brosgol, Ben M., et al., CS4 Language Reference Manual and Operating System, Interface, Report IR-130-2, Intermetrics, Inc., Cambridge, Mass., October 1975.

Google Scholar

[12]

{Br 78} Brown, R.S., A Realistic Model of Floating Point Compilation, Numerical Software, Vol. 3 (ed., Rice), Academic Press, 1978.

Google Scholar

[13]

{CH 71} Clark, B.L., Horning, J.J., The System Language for Project Sue, Sigplan Notices, Vol. 6, 9, pp. 79-88. (Oct. 1971).

Digital Library

Google Scholar

[14]

{CH 74} Campbell, R.H. Habermann, A.N., The Specification of process synchronization by path expressions, Lecture notes in computer sciences, Vol. 16, Springer (1974), pp. 89-102.

Digital Library

Google Scholar

[15]

{Co 63} Conway, M.E., Design of a separable transition diagram compiler, Comm. ACM 6,7 (July 1963), pp. 396-408.

Digital Library

Google Scholar

[16]

{DEC 74} Digital Equipment Corporation, BLISS-II Programmer's Manual, Maynard, Mass. (1974).

Google Scholar

[17]

{DH 76} De Haas, A.C.M., Escape Clauses in Programming Languages, Twente University of Technology, The Netherlands (Sept. 1976).

Google Scholar

[18]

{Di 68} Dijkstra, E.W., Cooperating Sequential Processes, in Programming languages, (ed. F. Genuys), Academic press, London, 1972.

Google Scholar

[19]

{Di 72} Dijkstra, E.W., Notes on Structured Programming, in Structured Programming, Academic Press, London, 1972.

Digital Library

Google Scholar

[20]

{DoD 78} Department of Defense STEELMAN requirements for high order computer programming languages, June 1978.

Google Scholar

[21]

{DNM 69} Dahl, O.J., Nygaard, K., Myhrhaug, B., The Simula 67 common base language, Pub S-22, Norwegian Computing Center, Oslo (1969).

Google Scholar

[22]

{Fo 77} Fokkinga, M.M., Axiomatization of declarations and the formal treatment of an escape construct, Twente University of Technology, Mem. Nr. 176, The Netherlands (Sept. 1977).

Google Scholar

[23]

{Fr 77} Francez, N., Another advantage of Keyword Notation for Parameter Communication with Subprograms, Comm. ACM 20, 8 (Aug. 1977) pp. 604-605.

Google Scholar

[24]

{GH 75} Gannon, J.D., Horning, J.J., Language design for programming reliability. IEEE Trans., Software Eng. SE-1, 2 (June 1975) pp. 179-191.

Digital Library

Google Scholar

[25]

{GK 77} Goos, G., Karstens, P., A Comparison of Modularization Facilities in Four Languages, IFIP Working Conference on the Production of Reliable Software, Novosibirsk 1977, North Holland.

Google Scholar

[26]

{GMS 77} Geschke, C.M., Morris, J.H., Satterwaite, E.H., Early Experience with Mesa, Comm. ACM 20, 8 (Aug. 1977) pp. 540-553.

Digital Library

Google Scholar

[27]

{Go 75} Goodenough, J.B., Exception Handling: Issues and a Proposed Notation, Comm. ACM 18,12 (Dec. 1975) pp. 540-553.

Digital Library

Google Scholar

[28]

{GS 77} Geschke, C.M., Satterthwaite, E.H., Exception Handling in Mesa, XEROX PARC report, Palo Alto (1977).

Google Scholar

[29]

{GU 77} Guttag J., Adstract Data Types and the Development of Data Structures, Comm. ACM 20,6 (June 1977) pp. 396-404.

Digital Library

Google Scholar

[30]

{Ha 77} Hartmann, A.C., A concurrent Pascal Compiler for a mini computer, Lecture notes in Comp. Science, Vol. 50, Springer Verlag (1997).

Digital Library

Google Scholar

[31]

{Hab 73} Habermann, A.N., Critical comments on the programming languaue Pascal, Acta Informatica, 3(1973), pp. 47-57.

Digital Library

Google Scholar

[32]

{Har 76} Hardgrave, W.T., Positional versus keyword parameter communication in programming language, SIGPLAN Notices (ACM) 11,5 (May 1976), pp. 52-58.

Digital Library

Google Scholar

[33]

{HF 76} Hague, S.J., and Ford, B., Portability, Predicition and Correction, Software Practice and Experience, Vol. 6 (1976) pp. 61-69.

Crossref

Google Scholar

[34]

{HLMR 74} Horning, J.J., Lauer, H.C., Melliar-Smith, P.M., Randell, B., A program structure for error definition and recovery, in Operating Systems, Gelenbe and Kaiser (Eds,) Springer Verlag, N.Y. (1974), pp. 171-187.

Crossref

Google Scholar

[35]

{Ho 74} Hoare, C.A.R., Montors: An Operating System Structuring Concept, Comm. ACM, Vol. 17, No. 10, Oct. 1974, pp. 549-557.

Digital Library

Google Scholar

[36]

{Ho 78} Hoare, C.A.R. Communicating sequential processes, Comm. ACM, Vol. 21, No. 8, August 1978, pp. 666-677.

Digital Library

Google Scholar

[37]

{HW 79} Holt, R.C., Wortman, D., B., A model for implementing Euclid modules and type. templates (to be published) 1979.

Digital Library

Google Scholar

[38]

{IF 77} Ichbiah, J.D., Ferran, G., Separate Definition and Compilation in LIS and its Implementation, Cornell Symposium on the Design of High Order Languages, in Lecture Notes in Computer Science, Springer Verlag, N.Y.(1977).

Google Scholar

[39]

{IRHC 74} Ichbiah, J.D., Rissen, J.P., H' eliard, J.C., Cousot, P., the System Implementation Language LIS, Reference Manual, CII-HB Technical Report 4549 E/EN, Dec. 1974, CII-HB, Louveciennes, France.

Google Scholar

[40]

{Ka 74} Kahn, G., The semantics of a simple language for parallel programming, Proc. IFIP Congress 74, North Holland (1974).

Google Scholar

[41]

{Le 77} Levin, R., Program Structures for Exceptional Condition Handling (PhD Thesis), Dept. of Computer Science, Carnegie Mellon University (June 1977).

Digital Library

Google Scholar

[42]

{LHLMP 76} Lampson, B.W., Horning, J.J., London, R.L., Mitchell, J.G, and Popek, G.J., Report on the Programming Language Euclid, Xerox report, Palo Alto (Aug. 1976).

Google Scholar

[43]

{Li 74} Liskov, B. A Note on CLU, Computation Structures Group Memo 112, MIT Project MAC, Cambridge, Mass., November 1974.

Google Scholar

[44]

{LMS 74} Lampson, B.W., Mitchell, J.G., Satterthwaite, E.H., On the transfer of control between contexts, Lecture notes in Computer Science, Vol. 19, Robinet (Ed.) Springer Verlag, N.Y. (1974) pp. 181-203.

Digital Library

Google Scholar

[45]

{LS 79} Lauer, H.C., Satterthwaite, E.H., The impact of Mesa on system design (to be published) 1979.

Google Scholar

[46]

{LSA 77} Liskov, B., Snyder, A., Atkinson, R., Abstraction mechanisms in CLU. Comm. ACM 20,8 (Aug. 1977), pp. 564-576.

Digital Library

Google Scholar

[47]

{Or 50} Orwell, G., "1984", Harcourt, Brace and Co., N.Y. (July 1950).

Google Scholar

[48]

{Pa 71} Parnas, D.L., Information distribution aspects of design methodology, Information Processing 71, North Holland Pub. Co., Amsterdam (1971), pp. 399-344.

Google Scholar

[49]

{Pe 66} Perstein, M.H., The JOVIAL (J3) Grammar and Lexicon, SDC techincal report TM-555 (1966).

Google Scholar

[50]

{PW 74} Presser, L., White, J., Making Golbal Variables Beneficial, Proceedings IFIP (Aug. 1974).

Google Scholar

[51]

{PW 76} Parnes, D.L., Wurges, H., Response to Undesired Events in Software Systems, Proc. 2nd Int'l. Conf. on Software Engineering, (October 1976).

Digital Library

Google Scholar

[52]

{R 74} Rain, M., Mary Programmars Reference Manual, R Unit, Trondheim (1974).

Google Scholar

[53]

{Ra 75} Randell, B., System Structure for Fault Tolerance, Proc. Int'l. Conf. on Reliable Software, Los Angeles (1975).

Digital Library

Google Scholar

[54]

{Ro 70} Ross, D.T., Uniform referents: an essential property for a software engineering language, in Software Engineering (J.TOU, Ed.), Vol. 1, Academic Press (1970), pp. 91-101.

Crossref

Google Scholar

[55]

{SHW 78} Shaw, M., Hilfinger, P., Wulf, W.A., TARTAN - Language Design for the Ironman Requirements: Reference Manual, SIGPLAN Notices, Vol. 13,9 (Septermber 1978), pp. 36-58.

Digital Library

Google Scholar

[56]

{SW 74} Scowen, R.S., Wichmann, B.A., The definition of comments in Programming Languages, Software-Practice and Experience, Vol. 4,2 (April 1974), pp. 181- 188.

Crossref

Google Scholar

[57]

{VH 75} Von Henke, F.W., On Generating Programs from Data Types: An Approach to Automatic Programming. Proc. Int'l. Symposium on Proving and Improving Programings (Arc-et-Senans) IRIA (1975), pp. 57-70.

Google Scholar

[58]

{VW 75} Van Wijngaarden, A., et al., Revised Report on the algorithmic Language Algol 68, Acta Informatica, Vol. 5, Fasc. 1-3 (1975).

Google Scholar

[59]

{Wa 72} Walden, D.C., A System for Interprocess Communication in a Resource Sharing Computer Network, Comm. ACM 15,4 (April 1972) pp. 221-230.

Digital Library

Google Scholar

[60]

{We 74} Wegbreit, B., The Treatment of Data Types in EL1, Comm. ACM, Vol. 17,5 (May, 1974), pp. 251-264.

Digital Library

Google Scholar

[61]

{We 78} Welsh, J., Economic Range checks in Pascal, Software - Practice and Experience, Vol. 8, 1 (Jan 1978) pp. 85-98.

Crossref

Google Scholar

[62]

{Wi 71} Wirth, N., The programming language Pascal, Acta Informatica, Vol. 1, No. 1 (1971), pp. 35-63, Springer Verlag.

Digital Library

Google Scholar

[63]

{Wi 71b} Wirth, N., Program development by stepwise refinement, Comm. ACM, 71, 14. p. 221.

Digital Library

Google Scholar

[64]

{Wi 76} Wirth, N., Modula, A language for modular programming, Technische Hochschle Zurich, report 18 (March 1976).

Google Scholar

[65]

{WLS 76} Wulf, W.A., London, R.L., and Shaw, M., Abstraction and verification in Alphard: Introduction to language and metholodlogy, USC Inform. Sci. tech. Report, University of Southern California, Los Angeles (1976).

Google Scholar

[66]

{Wo 72} Woodger, M., Levels of Langueges in High Level Languages, INFOTECH, State of the Art Report, No. 7, pp. 201-215.

Google Scholar

[67]

{WSH 77} Welsh, J., Sneeringer, M.J., Hoare, C.A.R., Ambiguities and Insecurities in Pascal, Software-Practice and Experience, Vol. 7,6 (November 1977), pp. 685- 696.

Crossref

Google Scholar

[68]

{WWG 70} Woodward, P.M., Wetherall, P.R., and Gorman, B., Official Definition of CORAL 66, Her Majesty's Stationery Office (1970).

Google Scholar

[69]

{Za 74} Zahn, C.T., A control Statement for natural top-down structured programming, in lecture Notes in Computer Science, No. 19, Robinet(Ed.) Springer Verlag, N.Y. (1974), pp. 170-180.

Digital Library

Google Scholar

Cited By

View all

Wang YZhao XChong TLiu X(2022)Embedded Microprocessor Extension Design and Optimization for Real-Time Edge ComputingWireless Communications & Mobile Computing10.1155/2022/57051842022Online publication date: 1-Jan-2022
https://dl.acm.org/doi/10.1155/2022/5705184
Schonberger MFranz MScherzinger SMauerer W(2022)Peel | Pile? Cross-Framework Portability of Quantum Software2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C)10.1109/ICSA-C54293.2022.00039(164-169)Online publication date: Mar-2022
https://doi.org/10.1109/ICSA-C54293.2022.00039
Søndergaard HKorsholm SRavn A(2017)Conformance test development with the Java modeling languageConcurrency and Computation: Practice and Experience10.1002/cpe.407129:22Online publication date: 2-Feb-2017
https://doi.org/10.1002/cpe.4071
Show More Cited By

Recommendations

Scientific design rationale

Design rationale should be regarded both as a tool for the practice of design, and as a method to enable the science of design. Design rationale answers questions about why a given design takes the form that it does. Answers to these why questions ...
Design Rationale: Concepts, Techniques, and Use
Design rationale: the rationale and the barriers
NordiCHI '06: Proceedings of the 4th Nordic conference on Human-computer interaction: changing roles

One goal of design rationale systems is to support designers by providing a means to record and communicate the argumentation and reasoning behind the design process. However, there are several inherent limitations to developing systems that effectively ...

Comments

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 14, Issue 6b

Rationale for the deisgn of the Ada programming language

June 1979

266 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/956653

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 30 June 1979

Published in SIGPLAN Volume 14, Issue 6b

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

327
Total Citations
View Citations
1,027
Total Downloads

Downloads (Last 12 months)170
Downloads (Last 6 weeks)70

Reflects downloads up to 22 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Wang YZhao XChong TLiu X(2022)Embedded Microprocessor Extension Design and Optimization for Real-Time Edge ComputingWireless Communications & Mobile Computing10.1155/2022/57051842022Online publication date: 1-Jan-2022
https://dl.acm.org/doi/10.1155/2022/5705184
Schonberger MFranz MScherzinger SMauerer W(2022)Peel | Pile? Cross-Framework Portability of Quantum Software2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C)10.1109/ICSA-C54293.2022.00039(164-169)Online publication date: Mar-2022
https://doi.org/10.1109/ICSA-C54293.2022.00039
Søndergaard HKorsholm SRavn A(2017)Conformance test development with the Java modeling languageConcurrency and Computation: Practice and Experience10.1002/cpe.407129:22Online publication date: 2-Feb-2017
https://doi.org/10.1002/cpe.4071
Athersych DBarnard DMacewen GMccrosky CRoss D(2016) A Comparative Evaluation Of Ada And Euclidf † INFOR: Information Systems and Operational Research10.1080/03155986.1983.1173189621:3(157-176)Online publication date: 25-May-2016
https://doi.org/10.1080/03155986.1983.11731896
Chang BChoi K(2016)A review on exception analysisInformation and Software Technology10.1016/j.infsof.2016.05.00377:C(1-16)Online publication date: 1-Sep-2016
https://dl.acm.org/doi/10.1016/j.infsof.2016.05.003
Skovhede KLund S(2016)NumCIL and Bohrium: High Productivity and High PerformanceParallel Processing and Applied Mathematics10.1007/978-3-319-32152-3_16(166-175)Online publication date: 2-Apr-2016
https://doi.org/10.1007/978-3-319-32152-3_16
YOUNG WGOOD D(2013)Program verification and embedded aerospace software3rd Computers in Aerospace Conference10.2514/6.1981-2154Online publication date: 18-Feb-2013
https://doi.org/10.2514/6.1981-2154
Duggan D(2012)Service‐Oriented ArchitectureEnterprise Software Architecture and Design10.1002/9781118180518.ch6(207-358)Online publication date: 20-Jan-2012
https://doi.org/10.1002/9781118180518.ch6
Wurster Gvan Oorschot PBishop MProbst CKeromytis ASomayaji A(2009)The developer is the enemyProceedings of the 2008 New Security Paradigms Workshop10.1145/1595676.1595691(89-97)Online publication date: 21-Aug-2009
https://dl.acm.org/doi/10.1145/1595676.1595691
Lester NMoffat AZobel J(2008)Efficient online index construction for text databasesACM Transactions on Database Systems10.1145/1386118.138612533:3(1-33)Online publication date: 3-Sep-2008
https://dl.acm.org/doi/10.1145/1386118.1386125
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Recommendations

Scientific design rationale

Design Rationale: Concepts, Techniques, and Use

Design rationale: the rationale and the barriers

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations