An axiomatic definition of the programming language PASCAL

@article{Hoare1973AnAD,
  title={An axiomatic definition of the programming language PASCAL},
  author={C. A. R. Hoare and Niklaus Wirth},
  journal={Acta Informatica},
  year={1973},
  volume={2},
  pages={335-355}
}
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

Citations

Publications citing this paper.

58 Citations

0510'75'85'96'07'18
Citations per Year
Semantic Scholar estimates that this publication has 58 citations based on the available data.

See our FAQ for additional information.

References

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…