Author:
Darlington John,Harrison Peter,Khoshnevisan Hessam,McLoughlin Lee,Perry Nigel,Pull Helen,Reeve Mike,Sephton Keith,While Lyndon,Wright Sue
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Backus, J.W., Can Programming Be Liberated from the von Neumann Style? A Functional Style and its Algebra of Programs, CACM, 21(8), August 1978, pp. 613–641.
2. Backus, J.W., The Algebra of Functional Programs, Function Level Reasoning, Linear Equations and Extended Definitions, Springer-Verlag, Volume 107, 1981, pp. 1–43.
3. Internal Report;R. M. Burstall,1980
4. Broughton, P., Thomson, C. M., Leunig, S. R. and Prior, S., Designing System Software for Parallel Declarative Systems, ICL Technical Journal 5(3), May 1987, pp. 541–554.
5. Burstall, R. M. and Darlington, J., A Transformation System for Developing Recursive Programs, J. ACM, 24(1), January 1977, pp. 44–67.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献