Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference10 articles.
1. Bird, R.S.: Programs and Machines ? An Introduction to the Theory of Computation. London: John Wiley 1976
2. Burstall, R.M., Darlington, J.: A transformation system for developing recursive programs. J. ACM 24, 44?67 (1977)
3. Burstall, R.M., Macqueen, D.B., Sannella, D.T.: HOPE: an experimental applicative language. Int Res Report. Dept Computer Science, University of Edinburgh 1980
4. Feather, M.: A system for assisting program transformation. ACM Trans Progr. Lang. Syst. 4, 1?20 (1982)
5. Henderson, P.: Functional Programming: Application and Implementation. Englewood Cliffs: Prentice-Hall 1980
Cited by
98 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution);Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11
2. Phases in Software Architecture;Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture;2023-08-30
3. Taype: A Policy-Agnostic Language for Oblivious Computation;Proceedings of the ACM on Programming Languages;2023-06-06
4. The Tortoise and the Hare Algorithm for Finite Lists, Compositionally;ACM Transactions on Programming Languages and Systems;2023-03-03
5. Efficient Embedding of Strategic Attribute Grammars via Memoization;Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2023-01-15