Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Floyd, R.W.: Assigning meanings to programs. In: Schwartz, J.T. (ed.) Mathematical Aspects of Computer Science. In: Proceedings of Symposia in Applied Mathematics, Providence, Rhode Island, American Mathematical Society, vol. 19, pp. 19–32 (1967)
2. Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM 12(10), 576–580, 583 (1969)
3. Dijkstra, E.W.: A discipline of programming. In: Series in Automatic Computation, Prentice Hall Int., Englewood Cliffs (1976)
4. Downey, P.J., Sethi, R., Tarjan, R.E.: Variations on the common subexpressions problem. Journal of the ACM 27, 771–785 (1980)
5. Nelson, G., Oppen, D.C.: Fast decision procedures based on congruence closure. Journal of the ACM 27, 356–364 (1980)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献