An axiomatic definition of the programming language Pascal. (English) Zbl 0261.68040


68N01 General topics in the theory of software
68Q45 Formal languages and automata


Full Text: DOI


[1] Wirth, N.: The programming language PASCAL. Acta Informatica 1, 35-63 (1971) · doi:10.1007/BF00264291
[2] Naur, P. (Ed.): Revised report on the algorithmic language ALGOL 60. Comm. ACM 6, 1-17 (1963); Comp. J. 5, 349-367 (1962/63); Numer. Math. 4, 420-453 (1963)
[3] Wirth, N.: The design of a PASCAL compiler. Software, Practice and Experience 1, 309-333 (1971) · Zbl 0232.68005 · doi:10.1002/spe.4380010403
[4] Welsh, J., Quinn, C.: A PASCAL compiler for the ICL 1900 Series Computers. Software, Practice and Experience 2, 73-77 (1972) · doi:10.1002/spe.4380020108
[5] Hoare, C. A. R.: An axiomatic basis for computer programming. Comm. ACM 12, 576-581 (1969) · Zbl 0179.23105 · doi:10.1145/363235.363259
[6] Hoare, C. A. R. : An axiomatic definition of the programming language PASCAL, Second Draft. Proc. Symposium on Theoretical Programming, Novosibirsk, Aug. 1972
[7] Hoare, C. A. R.: Notes on data structuring. In: Dahl, O.-J., Dijkstra, E. W., and Hoare, C. A. R.: Structured programming. London und New York: Academic Press 1972 · Zbl 0267.68001
[8] Hoare, C. A. R.: A note on the for statement. BIT 12, 334-341 (1972) · Zbl 0246.68003 · doi:10.1007/BF01932305
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.