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
100 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Zipper-based embedding of strategic attribute grammars;Journal of Systems and Software;2024-05
2. Compiling Haskell for Energy Efficiency: Empirical Analysis of Individual Transformations;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08
3. 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
4. Phases in Software Architecture;Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture;2023-08-30
5. Taype: A Policy-Agnostic Language for Oblivious Computation;Proceedings of the ACM on Programming Languages;2023-06-06