×

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


MSC:

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

Software:

ALGOL 60
PDF BibTeX XML Cite
Full Text: DOI

References:

[1] Wirth, N.: The programming language PASCAL. Acta Informatica 1, 35-63 (1971) · Zbl 0215.55903
[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
[4] Welsh, J., Quinn, C.: A PASCAL compiler for the ICL 1900 Series Computers. Software, Practice and Experience 2, 73-77 (1972)
[5] Hoare, C. A. R.: An axiomatic basis for computer programming. Comm. ACM 12, 576-581 (1969) · Zbl 0179.23105
[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
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.