Author:
Ashcroft E. A.,Clint M.,Hoare C. A. R.
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. List of Tony Hoare’s Publications;Theories of Programming;2021-10-02
2. Finding Effective Abstractions;Theories of Programming;2021-10-02
3. Hoare-Style Logic for Unstructured Programs;Software Engineering and Formal Methods;2020
4. Insight, Inspiration and Collaboration;Reflections on the Work of C.A.R. Hoare;2010
5. The early search for tractable ways of reasoning about programs;IEEE Annals of the History of Computing;2003-04