Fusing logic and control with local transformations: An example optimization

Electronic Notes in Theoretical Computer Science

Volumn 57, Issue , 2001, Pages 144-162

  Johann, Patricia ^a   Visser, Eelco ^b  

^a DICKINSON COLLEGE   (United States)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA STRUCTURES; MATRIX ALGEBRA; OPTIMIZATION; SEMANTICS;

ABSTRACT PROGRAMMING TECHNIQUES; DOMAIN-SPECIFIC LANGUAGE; FUSION TECHNIQUES; PROGRAM TRANSFORMATION SYSTEMS;

LOGIC PROGRAMMING;

EID: 18244410363     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00271-3     Document Type: Conference Paper

References (18)

1. Appel A. Compiling with Continuations. 1992;Cambridge University Press. 6
2. Dinesh T., Haveraaen M., Heering J. An algebraic programming style for numerical software and its optimization. Scientific Programming. 8:(4):2001;. 1
3. Fradet P., Métayer D.L. Compilation of functional languages by program transformation. ACM Transactions on Programming Languages and Systems. 13:(1):January 1991;21-51. 1
4. Haveraaen M., Friis H.A., Johansen T.A. Formal software engineering for computational modeling. Nordic Journal of Computing. 6:(3):1999;241-270. 1
5. P. Johann. Short cut fusion: Proved and improved. In W. Taha, editor, Semantics, Applications, and Implementation of Program Generation (SAIG'O1), volume 2196 of Lecture Notes in Computer Science, pages 47-71, Florence, Italy, 2001. Springer-Verlag. 6
6. Johann P., Visser E. Warm fusion in Stratego: A case study in the generation of program transformation systems. Annals of Mathematics and Artificial Intelligence. 29:(1-4):2000;1-34. 1, 6
7. Jones N., Gomard C., Sestoft P. Partial Evaluation and Automatic Program Generation. 1993;Prentice Hall. 6
8. R. Kelsey and P. Hudak. Realistic compilation by program transformation. In ACM Conference on Principles of Programming Languages, pages 281-292, January 1989. 6
9. R. A. Kelsey. Compilation by Program Transformation. PhD thesis, Yale University, May 1989. 6
10. J. Kort, R. Lämmel, and J. Visser. Functional Transformation Systems. In Proceedings of the 9th International Workshop on Functional and Logic Programming, Benicassim, Spain, July 2000. 6
11. Launchbury J., Sheard T. Warm fusion: Deriving build-catas from recursive definitions. Jones S.L.P. Functional Programming Languages and Computer Architecture (FPCA '95). June 1995;314-323 ACM Press. 1, 6
12. Muchnick S.S. Advanced Compiler Design and Implementation. 1997;Morgan Kaufmann Publishers. 1
13. S. L. Peyton Jones, C. Hall, K. Hammond, W. Partain, and P. Wadler. The Glasgow Haskell Compiler: a techical overview. In UK Joint Framework for Information Technology (JFIT) Technical Conference, March 1993. 6
14. Peyton Jones S.L., Santos A.L.M. A transformation-based optimiser for Haskell. Science of Computer Programming. 32:(1-3):September 1998;3-47. 1, 6
15. E. Visser. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In A. Middeldorp, editor, Rewriting Techniques and Applications (RTA '01), volume 2051 of Lecture Notes in Computer Science, pages 357-361. Springer-Verlag, May 2001. 1
16. E. Visser, Z.-e.-A. Benaissa, and A. Tolmach. Building program optimizers with rewriting strategies. ACM SIGPLAN Notices, 34(1):13-26, January 1999. Proceedings of the International Conference on Functional Programming (ICFP'98). 1, 2, 6
17. Wadler P. Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science. 73:1990;231-248. 1, 6
18. H. I. Y. Onoue, Z. Hu and M. Takeichi. A calculational fusion system HYLO. In IFIP TC 2 Working Conference on Algorithmic Languages and Calculi, pages 76-106. Chapman and Hall, February 1997. 6