[ACM Press the 1971 26th annual conference - Not Known (1971..-..)] Proceedings of the 1971 26th annual conference on - - Rectangular meshes
- 作者Velez, Gonzalo
- 文件大小512.14KB
- 发表时间1971
- DOI10.1145/800184.810540
- 页码745-755
Proving correctness of coroutines without history variablesEdmund Melson Clarke · 1980
Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom SystemsClarke, Edmund Melson · Journal of the ACM · 1979
[IEEE 18th Annual Symposium on Foundations of Computer Science (sfcs 1977) - Providence, RI, USA (1977.10.31-1977.11.2)] 18th Annual Symposium on Foundations of Computer Science (sfcs 1977) - Program invariants as fixed pointsClarke, Edmund Melson · 1977
[ACM Press the 4th ACM SIGACT-SIGPLAN symposium - Los Angeles, California (1977.01.17-1977.01.19)] Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77 - Programming language constructs for which it is impossible to obtain good hoare-like axiom systemsClarke, Edmund Melson · 1977