Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Gregory R. Andrews, “The Distributed Programming Language SR — Mechanisms, Design and Implementation,” Software — Practice and Experience, vol. 12, pp. 719–753, 1982.
2. K. R. Apt, “Ten years of Hoare logic. A survey — part 1,” ACM Trans. on Programming Languages and Systems, vol. 3, pp. 431–483, 1981.
3. Jaco de Bakker, Mathematical Theory of Program Correctness, Prentice-Hall International, 1980.
4. D. W. Barron, J. N. Buxton, D. F. Hartley, E. Nixon, and C. Strachey, “The Main Features of CPL,” The Computer Journal, vol. 6, pp. 134–143, 1963.
5. R. E. Blahut, Fast Algorithms for Digital Signal Processing, Addison-Wesley, 1985.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献