Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference5 articles.
1. Hoare, C. A. R.: An axiomatic basis for computer programming. Comm. ACM 12, No. 10, 576?580 (October 1969).
2. ? Procedures and parameters; an axiomatic approach, Symposium on the Semantics of Algorithmic Languages (ed. E. Engeler). Berlin-Heidelberg-New York: Springer 1971.
3. Dijkstra, E. W.: Go to statement considered harmful. Letter to the editor. Comm. ACM 11, No. 3, 147?148 (March 1968).
4. Technical Report No. CS 148;D. E. Knuth,1970
5. Landin, P. J.: A correspondence between ALGOL 60 and Church's lambda notation, parts I and II. Comm. ACM 8, Nos. 2 and 3, 89?101, Feb., 158?165, Mar. (1965).
Cited by
82 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Weakest preconditioned goto axiom;Information Processing Letters;2023-02
2. List of Tony Hoare’s Publications;Theories of Programming;2021-10-02
3. Finding Effective Abstractions;Theories of Programming;2021-10-02
4. Loop invariance with break and continue;Science of Computer Programming;2021-09
5. Behind Clint and Hoare’s goto Proof Rule;2021 International Symposium on Theoretical Aspects of Software Engineering (TASE);2021-08