An Axiomatic Definition of the Programming Language PASCAL
暂无分享,去创建一个
[1] Niklaus Wirth,et al. The design of a pascal compiler , 1971, Softw. Pract. Exp..
[2] Tony Hoare,et al. Notes on Data Structuring , 1972 .
[3] Charles Antony Richard Hoare,et al. A note on the for statement , 1972 .
[4] Friedrich L. Bauer,et al. Revised report on the algorithm language ALGOL 60 , 1963, CACM.
[5] Jim Welsh,et al. A pascal compiler for ICL 1900 series computers , 1972, Softw. Pract. Exp..
[6] C. A. R. Hoare,et al. Procedures and parameters: An axiomatic approach , 1971, Symposium on Semantics of Algorithmic Languages.