Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Report 1W;K. R. Apt,1978
2. Apt, K.R., Ten years of Hoare's logic, a survey-part I, ACM TOPLAS 3 (1981) 431–483.
3. de Bakker, J.W., Mathematical theory of program correctness (Prentice Hall International, London, 1980).
4. de Bakker, J.W., Klop, J.W., Meyer, J.-J.Ch., Correctness of programs with function procedures, in: [Ko] 94–112.
5. Clarke, E.M., Programming language constructs for which it is impossible to obtain good Hoare-like axioms, J. ACM 26 (1979) 129–147.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献