Author:
Igarashi Shigeru,London Ralph L.,Luckham David C.
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference15 articles.
1. Allen, J. R., Luckham, D.: An interactive theorem-proving program. In: Meltzer, B., Michie, D. (eds.): Machine Intelligence 5. Edinburgh: Edinburgh University Press 1970, p. 321?336
2. Clint, M., Hoare, C. A. R.: Program proving: Jumps and functions. Acta Informatica 1, 214?224 (1972)
3. Floyd, R. W.: Algorithm 245, TREESORT 3. Comm. ACM 7, 701 (1964)
4. Floyd, R. W.: Assigning meanings to programs. In: Schwartz, J. T. (ed.). Mathematical aspects of computer science. Proc. Symposia in Applied Mathematics 19. Providence (R.I.): Am. Math. Soc. 1967, p. 19?32
5. Floyd, R. W.: Toward interactive design of correct programs. Proc. IFIP Congress 71, Amsterdam: North-Holland 1972, p. 7?10
Cited by
75 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dijkstra’s Legacy on Program Verification;Edsger Wybe Dijkstra;2022-07-12
2. Putting the semantics into semantic versioning;Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2020-11-17
3. Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories;Journal of Automated Reasoning;2017-07-12
4. Verification conditions for source-level imperative programs;Computer Science Review;2011-08
5. Forward with Hoare;Reflections on the Work of C.A.R. Hoare;2010