More comments on the programming language Pascal

SummaryA. N. Habermann recently published some “Critical comments on the programming language Pascal”. His reproaches are principally that numerous constructs are ill-defined, that there is “confusion” amongst ranges, types and structures, and that the goto statement should have been abolished. The present reply successively deals with points that are clearly refutable, those which are debatable and those which constitute valid criticism. Its principal aim is to encourage the reader to form his own opinion.

[1]  Niklaus Wirth,et al.  On the Design of Programming Languages , 1974, IFIP Congress.

[2]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1959, Commun. ACM.

[3]  William A. Wulf,et al.  BLISS: a language for systems programming , 1971, CACM.

[4]  C. A. R. Hoare,et al.  Monitors: an operating system structuring concept , 1974, CACM.

[5]  Niklaus Wirth,et al.  Pascal User Manual and Report , 1991, Springer New York.

[6]  C. A. R. Hoare,et al.  Recursive data structures , 1975, International Journal of Computer & Information Sciences.

[7]  Donald E. Knuth,et al.  Structured Programming with go to Statements , 1974, CSUR.

[8]  Niklaus Wirth,et al.  Systematic Programming: An Introduction , 1974 .

[9]  Niklaus Wirth,et al.  The design of a pascal compiler , 1971, Softw. Pract. Exp..

[10]  Niklaus Wirth,et al.  The programming language Pascal (Revised Report) , 1973 .

[11]  Richard C. Holt.  Teaching the fatal disease: (or) introductory computer programming using PL/I , 1973, SIGP.

[12]  B. J. Mailloux,et al.  Report on the Algorithmic Language ALGOL 68 , 1969 .

[13]  Edsger Wybe Dijkstra,et al.  Ewd 316: a short introduction to the art of programming , 1971 .

[14]  Edsger W. Dijkstra,et al.  Notes on structured programming , 1970 .

[15]  B. Ed. Leavenworth.  Control Structures in Programming Languages-"The GO TO Controversy"-Debate , 1972 .

[16]  B. M. Leavenworth.  Control structures in programming languages , 1972 .

[17]  Edsger W. Dijkstra,et al.  The humble programmer , 1972, CACM.

[18]  Niklaus Wirth.  The programming language pascal , 2004, Acta Informatica.

[19]  P. Desjardins.  A Pascal compiler for the Xerox SIGMA 6 , 1973, SIGP.

[20]  C. A. R. Hoare,et al.  An axiomatic definition of the programming language PASCAL , 1972, Acta Informatica.

[21]  Friedrich L. Bauer,et al.  Revised report on the algorithm language ALGOL 60 , 1963, CACM.

[22]  C. A. R. Hoare,et al.  An Axiomatic Definition of the Programming Language PASCAL , 1973, Acta Informatica.

[23]  A. Nico Habermann,et al.  Critical comments on the programming language Pascal , 1973, Acta Informatica.

[24]  Tony Hoare,et al.  Notes on Data Structuring , 1972 .

[25]  Charles Antony Richard Hoare,et al.  Hints on programming language design. , 1973 .

[26]  C HoltRichard.  Teaching the fatal disease , 1973 .

[27]  Per Brinch Hansen.  A Programming Methodology for Operating System Design , 1974, IFIP Congress.

[28]  David A. Fisher,et al.  A survey of control structures in programming languages , 1972, SIGP.

[29]  Mary Shaw,et al.  Global variable considered harmful , 1973, SIGP.

[30]  B. J. Mailloux,et al.  Report of Algorithmic Language ALGOL 68 , 1969 .

[31]  Gregor von Bochmann,et al.  A (Truly) Usable and Portable Compiler Writing System , 1974, IFIP Congress.

[32]  C. A. R. Hoare,et al.  Proof of a structured program: 'the sieve of Eratosthenes' , 1972, Comput. J..