An axiomatic definition of the programming language PASCAL

  title={An axiomatic definition of the programming language PASCAL},
  author={C. A. R. Hoare and Niklaus Wirth},
  journal={Acta Informatica},
The axiomatic definition method proposed in reference [5] is extended and applied to define the meaning of the programming language PASCAL [1]. The whole language is covered with the exception of real arithmetic and go to statements. 
Highly Cited
This paper has 58 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
32 Citations
6 References
Similar Papers


Publications citing this paper.

58 Citations

Citations per Year
Semantic Scholar estimates that this publication has 58 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-6 of 6 references

The design of a PASCAL compiler

  • J. Welsh, C. Quinn
  • Software , Practice and Experience I
  • 1971

The design of a PASCAL compiler. Software, Practice and Experience I

  • P. Naur
  • Revised report on the algorithmic language ALGOL…
  • 1971

Notes on data structuring

  • O.-J. Dahl, E. W. Dijkstra, C. A. R. Hoare
  • : Structured programming

Similar Papers

Loading similar papers…