Author:
Bergstra J.A.,Tucker J.V.
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference26 articles.
1. Ten years of Hoare's Logic: a survey—Part 1;Apt;ACM Trans. Programming Languages and Systems,1981
2. Mathematical theory of program correctness;De Bakker,1980
3. Floyd's principle, correctness theories and program equivalence;Bergstra;Theoret. Comput. Sci.,1982
4. Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs;Bergstra;Theoret. Comput. Sci.,1982
5. J. A. Bergstra and J. V. Tucker, “Hoare's Logic and Peano's Arithmetic,” Mathematical Centre, Theoret. Comp. Sci., to appear.
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献