A General Axiom of Assignment
Publisher
Springer Netherlands
Reference11 articles.
1. Floyd, R.W.: Assigning Meanings to Programs, Proc. Symp. in Applied Mathematics, Vol. 19, J.T. Schwartz (ed.), American Mathematical Society, 1967, pp. 19–32. 2. Hoare, C.A.R.: An Axiomatic Basis for Computer Programming, Comm. ACM, Vol. 12, No. 10, October 1969, pp. 576–580, 3. Hoare, C.A.R.: An Axiomatic Basis for Computer Programming, Comm. ACM, Vol. 12, No. 10, October 1969, pp. 583. 4. Hoare, C.A.R., and Wirth, N.: An Axiomatic Definition of the Programming Language Pascal, Acta Informatica, Vol. 2, No. 4, 1973, pp. 335–355. 5. London, R.L., Guttag, J.V., Horning, J.J., Lampson, B.W., Mitchell, J.G., and Popek, G.J.: Proof Rules for the Programming Language Euclid, Acta Informatica, Vol. 10, 1978, pp. 1–26.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
|
|