skip to main content
article
Free Access

Recollections about the development of Pascal

Published:01 March 1993Publication History
Skip Abstract Section

Abstract

Pascal was defined in 1970 and, after a slow start, became one of the most widely used languages in introductory programming courses. This article first summarises the events leading to Pascal's design and implementation, and then proceeds with a discussion of some of the language's merits and deficiencies. In the last part, developments that followed its release are recounted. Its influence chiefly derived from its being a vehicle for structured programming and a basis for further development of languages and for experiments in program verification.

References

  1. Ammann, 1974 Ammann, U., The method of structured programming applied to the development of a compiler. Int'lComputJngSymposium 1973, 93 - 99, North - Holland, 1974.]]Google ScholarGoogle Scholar
  2. Ammann, 1977 Ammann, U., On Code Generation in a Pascal Compiler. Software-Practice and Experience, 7, 391-423 (1977).]]Google ScholarGoogle ScholarCross RefCross Ref
  3. Barnes, 1980 An Overwiew of Ada. Soj~vare - Practice and Experience, 10, 851 - 887 (1980).]]Google ScholarGoogle ScholarCross RefCross Ref
  4. Bowles, 1980 Bowles, K, L. Problem so/vingusing Pascal Springer-Verlag, 1977.]]Google ScholarGoogle Scholar
  5. Brinch Hansen, 1975 Brinch Hansen, P., The Programming Language Concurrent Pascal, IEEE Trans. Software Eng. 1,2,199 - 207, (1975).]]Google ScholarGoogle Scholar
  6. Bron, 1976 Bron, C., and W. de Vries. A Pascal Compiler for the PDP-11 Minicomputers. 5oj~,vare - Practice and Experience, 6, 109-116 (1976).]]Google ScholarGoogle ScholarCross RefCross Ref
  7. Clark, 1982 Clark, FL, and S. Koehler, The UCSDPascalHandbook. Prentice-Hall, 1982.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Cooper, 1983 Cooper, D., Standard Pascal, User Re~rence Manual. Norton, 1983.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Dijkstra, 1966 Dijkstra. E. W., Structured Programming. Tech. Report, Univ. of Eindhoven, 1966. also in: Dahl, O. - J. et al, Structured Programming, London: Academic Press 1972.]]Google ScholarGoogle Scholar
  10. Grosse-Lindmann, 1976 Grosse-Lindemann, C. O., and H. H. Nagel, Postlude to a Pascal-Compiler Bootstrap on a DECSystem-10, So~vare - Prac~'ce and Experience, 6, 29-42, (1976).]]Google ScholarGoogle Scholar
  11. Habermann, 1973 Habermann, A. N., Critical comments on the programming language Pascal, Ac'ta/nformabca 3, 47- 57 (1973).]]Google ScholarGoogle Scholar
  12. Hoare, 1972 Hoare, CA.P,., Notes on Data Structuring. In: Dahl, O.-J. et al, Sts'ucturedProgramming, London: Academic Press 1972.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Hoare, 1973 Hoare, C.A.P,. and N. Wirth, An axiomatic definition of the programming language PascaI,Acta In{ormatica 2, 335 - 355 (1973)]]Google ScholarGoogle Scholar
  14. Hoare, 1980 Hoare, C.A.FL. The Emperor's Old Clothes. Comm. AC/vl, 24, 2 (Feb. 1980), 75 - 83 (Feb. 1980).]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. ISO, 1983 International Organization for Standardization, $c, Tc~catJon for Computer Programming Language Pasta/, ISO 7185-1982.]]Google ScholarGoogle Scholar
  16. Jensen, 1974 Jensen, IC and N. Wirth, PasT.N-User/HanuaJandP, el)ort., Springer-Vedag, 1974.]]Google ScholarGoogle Scholar
  17. Jensen, 1991 Jensen, K., and N. Wlrth. Revised by A. B. Mickel and J. F. Miner, Pa.cal, UserNlanual and P, R~ort, /SO Pa~ai Standard. Springer-Verlag, 1991.]]Google ScholarGoogle Scholar
  18. Lecarme, 1975 Lecarme, O. and P. Desjardins, More comments on the programming language Pascal, Actalnfonnatica 4, 231 - 243 (1975)]]Google ScholarGoogle Scholar
  19. Ledgard, 1984 Ledgard, H. TheAmen'can Pasca/~;tandard. Springer-Vedag, 1984.]]Google ScholarGoogle Scholar
  20. London, 1978 London, R.L, J. V. Guttag, J. J. Homing, 8. W. Lampson, J. G. Mitchell, and G. J. Popek. Proof Pules for the Programming Language Euclid. Acta/ns~rma~ca 10, 1 - 26 (1978).]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Marmier, 1975 E. Marrnier. Automatic Verification of Pascal Programs. ETH- Dissertation No. 5629, Z0rich, 1975]]Google ScholarGoogle Scholar
  22. Mitchell, 1978 Mitchell, J. G., W. Maybury, R. Sweet. Mesa Language Manual. Xerox PARC Report CSL-78-1 (1978).]]Google ScholarGoogle Scholar
  23. Naur, 1963 Naur, P., (ed.) P,~ised report on the algorithmic }anguage Algol 60, Comm. ACJVI 3. 299 - 316 (1960), and Comm. AGH 6,1 - 17 (1963)]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Nori, 1981 Nori, K.V., et al., The Pascal P-code compiler: Implementation notes. In: D.W. Barron, ed., Pascal - The/anguage and its imp/ementation. Wiley 1981.]]Google ScholarGoogle Scholar
  25. Tesler, 1985 Tesler, L., Object Pascal Report. Structured Programming (formerly Structured Language World), 9, 3, (1985), 10 - 1,~.]]Google ScholarGoogle Scholar
  26. van Wijngaarden, 1969 van Wijngaarden, A., (Ed.), Report on the algorithmic language Algol 68. Numer./Hath. 14, 79 - 218 (1969)]]Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. Welsh, 1972 Welsh, J., and C. Quinn. A Pascal Compiler for ICL 1900 Series Computers. So, am, Practice and Experience 2. 73-77 (1972).]]Google ScholarGoogle Scholar
  28. Welsh, 1977 Welsh. J., W. J. Sneeringer, and C.A.R. Hoare, Ambiguities and Insecurities in PascaJ. Software Pracb'ce and Experience. 7, (1977), 685 - 696. Also in: D.W. Barron. ed., Pascal- The language ahd its implementatJon. Wiley 1981.]]Google ScholarGoogle ScholarCross RefCross Ref
  29. Welsh, 1984 Welsh, J., and D. Bustard, SequentJalProgram Structures, Prentice-Hall Int'l, 1984.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. Welsh, 1986 Welsh, J., and A. Hay, A/Hodel/mplementation of StandardP~. Prentice-Hall Int'l, 1986.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. Wichmann, 1983 Wichmann, 8., and Ciechanowicz, Pascal Compi/erValidation. Wiley, 1983.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  32. Wirth, 1966 Wirth, N. and C.A.R. Hoare, A Contribution to the development of ALGOL, Comm. AOH 9, 6, 413 - 432 (June 1966)]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  33. Wirth, 1970 Wirth, N.. The Programming Language Pascal, Tech. Pep. 1, Fachgruppe Computer-Wissenschaften, ETH, Nov. 1970, and Ac'ta Injbrmatica 1, 35 - 63 (1971 )]]Google ScholarGoogle Scholar
  34. Wirth, 1971a Wirth. N., Program Development by Step-wise Refinement. Comm. ACAA 14, 4, 221-227 (April 1971)]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  35. Wirth, 1971b Wirth, N., The design of a PascaJ compiler. Software, Pra~'ce and Experience 1,309 - 333 (1971).]]Google ScholarGoogle ScholarCross RefCross Ref
  36. Wirth, 1975 Wirth, N. An assessment of the programming language Pascal. IEEETraas. on $oj~ware Eng., 1, 2 (June 1975), 192 - 198.]]Google ScholarGoogle Scholar
  37. Wirth, 1981 Wirth. N. Pascal-S: A subset and its implementation. In: O.w. Barron, ed., Pascal- The language and its implementation. Wiley 1981.]]Google ScholarGoogle Scholar
  38. Wirth, 1982 Wirth, N., Programming in Mo<Jula-2. Spdnger-Verlag, 1982.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  39. Wirth, 1988 Wirth, N., The Programming Language Oberon. SOjbNare, Prac~ceanclF.xpefience 18, 7 (JuJy 1988), 671 - 690.]] Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Recollections about the development of Pascal

          Recommendations

          Reviews

          David Alan Studebaker

          This delightful gem of a paper is both enjoyable and informative. Wirth discusses the history of Pascal with rare candor and a wry sense of humor. The origins of Pascal are rooted in meetings that took place in the mid-1960s on the extension of Algol 60. Wirth was the spokesperson for one faction of the Algol Working Group, presenting a proposal that was rejected in favor of a more elaborate proposal. The winning proposal led to Algol 68, which in turn led to Algol's demise as a serious contender for commercial attention. The losing proposal became the basis for Wirth's design of Pascal. The process left Wirth with an abiding distrust of the process of decision making by committee. Wirth traces the development of Pascal through the mainframe environment to minicomputers and thence to microcomputers. He describes a number of milestones that came from the efforts surrounding Pascal development and use, including the development of the P-system, which supports portable software tools. It is evident that Wirth's principal interest in Pascal has been as a teaching tool but that he takes pride in its acceptance for commercial use. He follows the path of Pascal development through to Modula-2 and Oberon, which he says could be referred to as Pascal-2 and Pascal-3. Wirth's comments give extensive credit to a number of individuals and organizations for the eventual success of Pascal, but he makes it clear that he feels that the more important events were due to the actions and efforts of individuals rather than organizations. For anyone who wants an interesting, informative, personal view from one of the most renowned designers of computer languages, this paper is perfect.

          Access critical reviews of Computing literature here

          Become a reviewer for Computing Reviews.

          Comments

          Login options

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

          Sign in

          Full Access

          • Published in

            cover image ACM SIGPLAN Notices
            ACM SIGPLAN Notices  Volume 28, Issue 3
            March 1993
            363 pages
            ISSN:0362-1340
            EISSN:1558-1160
            DOI:10.1145/155360
            Issue’s Table of Contents
            • cover image ACM Conferences
              HOPL-II: The second ACM SIGPLAN conference on History of programming languages
              April 1993
              370 pages
              ISBN:0897915704
              DOI:10.1145/154766

            Copyright © 1993 ACM

            Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 1 March 1993

            Check for updates

            Qualifiers

            • article

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader