Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Penny Anderson. Program Derivation by Proof Transformation. PhD thesis, Department of Computer Science, Carnegie Mellon University, October 1993. Available as Technical Report CMU-CS-93-206.
2. Penny Anderson. Program extraction in a logical framework setting. In Proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, July 1994. To appear.
3. Henk Barendregt. Introduction to generalized type systems. Journal of Functional Programming, 1(2):125–154, April 1991.
4. R.S. Bird. The promotion and accumulation strategies in transformational programming. ACM Transactions on Programming Languages and Systems, 6(4):487–504, October 1984.
5. R. M. Burstall and John Darlington. A transformation system for developing recursive programs. Journal of the Association for Computing Machinery, 24(1):44–67, January 1977.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献