Recollections about the development of Pascal

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Recollections about the development of Pascal

Full text

Pdf (1.78 MB)

Source

History of programming languages---II book contents

SECTION: Pascal session table of contents

Pages: 97 - 120

Year of Publication: 1996

Author

N. Wirth

Institut für Computersysteme, ETH Zurich, Zurich

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 40, Citation Count: 3

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/234286.1057812 What is a DOI?

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 summarizes 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

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	{Ammann, 1974} Ammann, U., The Method of Structured Programming Applied to the Development of a Compiler, in International Computing Symposium 1973, Amsterdam: North-Holland, 1974, pp. 93--99.
	2	{Ammann, 1977} Ammann, U., On Code Generation in a Pascal Compiler, Software---Practice and Experience, Vol. 7, 1977, pp. 391--423.
	3	{Barnes, 1980} Barnes, An Overwiew of Ada, Software---Practice and Experience, Vol. 10, 1980, pp. 851--887.
	4	Kenneth L. Bowles , S. D. Franklin , D. J. Volper, Problem Solving Using UCSD Pascal, Springer-Verlag New York, Inc., Secaucus, NJ, 1984
	5	{Brinch Hansen, 1975} Brinch Hansen, P., The Programming Language Concurrent Pascal, IEEE Transactions on Software Engineering, Vol. 1, No. 2, 1975, pp. 199--207.
	6	{Bron, 1976} Bron, C., and W. de Vries, A Pascal Compiler for the PDP-11 Minicomputers, Software---Practice and Experience, Vol. 6, 1976, pp. 109--116.
	7	Randy Clark , Stephen Koehler, UCSD Pascal Handbook, Prentice Hall Professional Technical Reference, 1982
	8	Doug Cooper, Standard Pascal: User Reference Manual, W. W. Norton & Co., Inc., New York, NY, 1983
	9	{Dijkstra, 1966} Dijkstra, E. W., Structured Programming, Technical Report, University of Eindhoven, 1966. Also in Dahl, O.-J. et al,. Structured Programming, London: Academic Press, 1972.
	10	{Grosse-Lindemann, 1976} Grosse-Lindemann, C. O., and H. H. Nagel, Postlude to a Pascal-Compiler Bootstrap on a DECSystem-10, Software---Practice and Experience, Vol. 6, 1976, pp. 29--42.
	11	{Habermann, 1973} Habermann, A. N., Critical Comments on the Programming Language Pascal, Acta Informatica Vol. 3, 1973, pp. 47--57.
	12	{Hoare, 1972} Hoare, C. A. R., Notes on Data Structuring, in Dahl, O.-J. et al., Structured Programming, London: Academic Press, 1972.
	13	{Hoare, 1973} Hoare, C. A. R. and N. Wirth, An Axiomatic Definition of the Programming Language Pascal, Acta Informatica, Vol. 2, 1973, pp. 335--355.
	14	Charles Antony Richard Hoare, The emperor's old clothes, Communications of the ACM, v.24 n.2, p.75-83, Feb. 1981 [doi>10.1145/358549.358561]
	15	{ISO, 1983} International Organization for Standardization, Specification for Computer Programming Language Pascal, ISO 7185, 1982.
	16	Kathleen Jensen , Niklaus Wirth, Pascal-User Manual and Report, Springer-Verlag New York, Inc., Secaucus, NJ, 1975
	17	Andrew B. Mickel , James F. Miner , Kathleen Jensen , Niklaus Wirth, Pascal user manual and report (4th ed.): ISO Pascal standard, Springer-Verlag New York, Inc., New York, NY, 1991
	18	{Lecarme, 1975} Lecarme, O., and P. Desjardins, More Comments on the Programming Language Pascal, Acta Informatica, Vol. 4, 1975, pp. 231--243.
	19	Henry F. Ledgard, ANSI-IEEE Pascal Standard: The American Pascal Standard, Springer-Verlag New York, Inc., Secaucus, NJ, 1984
	20	{London, 1978} London, R. L., J. V. Guttag, J. J. Horning, B. W. Lampson, J. G. Mitchell, and G. J. Popek, Proof Rules for the Programming Language Euclid, Acta Informatica, Vol. 10, 1978, pp. 1--26.
	21	{Marmier, 1975} Marmier, E., Automatic Verification of Pascal Programs, ETH Dissertation No. 5629, Zurich, 1975.
	22	{Mitchell, 1978} Mitchell, J. G., W. Maybury, R. Sweet, Mesa Language Manual, Xerox PARC Report CSL-78-1, 1978.
	23	Peter Naur , J. W. Backus , F. L. Bauer , J. Green , C. Katz , J. McCarthy , A. J. Perlis , H. Rutishauser , K. Samelson , B. Vauquois , J. H. Wegstein , A. van Wijngaarden , M. Woodger, Report on the algorithmic language ALGOL 60, Communications of the ACM, v.3 n.5, p.299-314, May 1960 [doi>10.1145/367236.367262]
	24	{Nori, 1981} Nori, K. V. et al., The Pascal P-code Compiler: Implementation Notes, in Pascal---The Language and Its Implementation. D. W. Barron, ed., New York: John Wiley & Sons, 1981.
	25	{Tesler, 1985} Tesler, L., Object Pascal Report,. Structured Programming (formerly Structured Language World), Vol. 9, No. 3, 1985, pp. 10--14.
	26	{van Wijngaarden, 1969} van Wijngaarden, A., Ed., Report on the Algorithmic Language ALGOL 68, Numer. Math. Vol. 14, 1969, pp. 79--218.
	27	{Welsh, 1972} Welsh, J., and C. Quinn, A Pascal Compiler for ICL 1900 Series Computers, Software---Practice and Experience, Vol. 2, 1972, pp. 73--77.
	28	David William Barron, Pascal: The Language and Its Implementation, John Wiley & Sons, Inc., New York, NY, 1981
	29	Jim Welsh , John Elder , David Bustard, Sequential program structures, Prentice-Hall, Inc., Upper Saddle River, NJ, 1984
	30	J Welsh , A Hay, A model implementation of standard Pascal, Prentice-Hall, Inc., Upper Saddle River, NJ, 1986
	31	Brian A. Wichmann , Z. J. Ciechanowicz, Pascal Compiler Validation, John Wiley & Sons, Inc., New York, NY, 1983
	32	Niklaus Wirth , C. A. R. Hoare, A contribution to the development of ALGOL, Communications of the ACM, v.9 n.6, p.413-432, June 1966 [doi>10.1145/365696.365702]
	33	{Wirth, 1970} Wirth, N., The Programming Language Pascal, Techical Report 1, Fachgruppe Computer-Wissenschaften, ETH, Nov. 1970; Acta Informatica, Vol. 1, 1971, pp. 35--63.
	34	Niklaus Wirth, Program development by stepwise refinement, Communications of the ACM, v.14 n.4, p.221-227, April 1971 [doi>10.1145/362575.362577]
	35	{Wirth, 1971b} Wirth, N., The Design of a Pascal Compiler, Software---Practice and Experience, Vol. 1, 1971, pp. 309--333.
	36	Niklaus Wirth, An assessment of the programming language PASCAL, ACM SIGPLAN Notices, v.10 n.6, p.23-30, June 1975
	37	{Wirth, 1981} Wirth, N., Pascal-S: A Subset and its Implementation, in Pascal---The Language and its Implementation, D. W. Barron, Ed., New York: John Wiley & Sons, 1981.
	38	Niklaus Wirth, Programming in MODULA-2 (3rd corrected ed.), Springer-Verlag New York, Inc., New York, NY, 1985
	39	N. Wirth, The programming language Oberon, Software—Practice & Experience, v.18 n.7, p.671-690, July 1988 [doi>10.1002/spe.4380180707]

CITED BY 3

	Niklaus Wirth, Pascal and its successors, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
	Niklaus Wirth, Modula-2 and Oberon, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.3-1-3-10, June 09-10, 2007, San Diego, California
	Andrew B. Mickel, Pascal, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003