Affiliation:
1. Computer Science Department, Indiana University, Bloomington, IN
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Reference28 articles.
1. A Transformation System for Developing Recursive Programs
2. CHANG C C AND LEE R C T Symbohc Logic and Mechamcal Theorem-Proving Academic Press New York and London 1973 CHANG C C AND LEE R C T Symbohc Logic and Mechamcal Theorem-Proving Academic Press New York and London 1973
3. DAHL O J DIJKSTRA E W AND HOARE C A R Structured Programming Academic Press London and New York 1972 DAHL O J DIJKSTRA E W AND HOARE C A R Structured Programming Academic Press London and New York 1972
Cited by
81 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. Tail Recursion Modulo Context: An Equational Approach;Proceedings of the ACM on Programming Languages;2023-01-09
3. The simple essence of automatic differentiation;Proceedings of the ACM on Programming Languages;2018-07-30
4. Continuations;Undergraduate Topics in Computer Science;2017
5. Polarised Intermediate Representation of Lambda Calculus with Sums;2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science;2015-07