Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference16 articles.
1. Apt, K.R., Bergstra, J.A., Meertens, L.G.L.T.: Recursive assertions are not enough — or are they? Mathematical Centre IW 92, 1977
2. Clarke, E.M.: Programming language constructs for which it is impossible to obtain good Hoare-like axiom systems. Proceedings of the 4th POPL, 1977
3. Clarke, E.M.: Program invariants as fixed points. Proceedings of the 18th FOCS, 1977
4. Clint, M.: Program proving: Coroutines. Acta Informatica, 2, 50–63 (1973)
5. Cook, S.A.: Axiomatic and interpretative semantics for an Algol fragment. Technical Report 79, Department of Computer Science, University of Toronto, 1975 (to be published in SCICOMP)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables;Lecture Notes in Computer Science;2018
2. Effectively Eliminating Auxiliaries;Theory and Practice of Formal Methods;2016
3. Disjoint Parallel Programs;Verification of Sequential and Concurrent Programs;1991
4. Methods and Logics for Proving Programs;Formal Models and Semantics;1990
5. Ten Years of Hoare's Logic: A Survey—Part I;ACM Transactions on Programming Languages and Systems;1981-10