Composing source-to-source data-flow transformations with rewriting strategies and dependent dynamic rewrite rules

Lecture Notes in Computer Science

Volumn 3443, Issue , 2005, Pages 204-220

  Olmos, Karina ^a   Visser, Eelco ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; DATA REDUCTION; FLOW CONTROL; OPTIMIZATION;

CODE GENERATORS; DATA-FLOW TRANSFORMATIONS; FREE VARIABLE CAPTURE; PROGRAMMING TOOLS;

PROGRAM COMPILERS;

EID: 24644487033     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31985-6_14     Document Type: Conference Paper

References (21)

1. A. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
2. A. Appel. Modern compiler implementation in ML. Cambridge University Press, 1998.
3. U. Assmann. How To Uniformly Specify Program Analysis and Transformation. In T. Gyimóthy, editor, Internationational Conference on Compiler Construction (CC'96), volume 1060 of LNCS, pages 121-135, Linköping, Sweden, 1996. Springer.
4. M. Bravenboer, A. van Dam, K. Olmos, and E. Visser. Program transformation with scoped dynamic rewrite rules. Technical Report UU-CS-2005-005, Institute of Information and Computing Sciences, Utrecht University, 2005.
5. C. Click and K. D. Cooper. Combining analyses, combining optimizations. ACM Transactions on Programming Languages and Systems, 17(2):181-196, March 1995.
6. S. Drape, O. de Moor, and G. Sittampalam. Transforming the NET intermediate language using path logic programming. In C. Kirchner, editor, Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '02), pages 133-144, Pittsburgh, Pensylvania, USA, October 2002. ACM.
7. D. Lacey and O. de Moor. Imperative program transformation by rewriting. In R. Wilhelm, editor, Proceedings of the 10th International Conference on Compiler Construction, volume 2027 of LNCS, pages 52-68. Springer Verlag, 2001.
8. S. Lerner, D. Grove, and C. Chambers. Combining dataflow analyses and transformations. In SIGPLAN Symposium on Principles of Programming Languages (POPL'02), pages 270-282, Portland, Oregon, January 2002.
9. S. Lerner, T. Millstein, and C. Chambers. Automatically proving the correctness of compiler optimizations. In Programming Language Design and Implementation (PLDI'03), pages 220 - 231. ACM SIGPLAN, June 2003.
10. S. Lerner, T. Millstein, E. Rice, and C. Chambers. Automated soundness proofs for dataflow analyses and transformations via local rules. In Principles of Programming Languages (POPL'05), pages 364-377. ACM SIGPLAN, January 2005.
11. F. Martin. PAG an efficient program analyzer generator. International Journal on Software Tools for Technology Transfer STTT, 2(1):46-67, November 1998.
12. S. Muchnick. Advanced compiler design and implementation. Morgan Kaufmann, 1997.
13. K. Olmos and E. Visser. Strategies for source-to-source constant propagation. In B. Gramlich and S. Lucas, editors, Workshop on Reduction Strategies (WRS'02), volume 70 of ENTCS, page 20, Copenhagen, Denmark, July 2002. Elsevier Science Publishers.
14. K. Olmos and E. Visser. Composing source-to-source data-flow transformations with rewriting strategies and dependent dynamic rewrite rules. Technical Report UU-CS-2005-006, Institute of Information and Computing Sciences, Utrecht University, 2005.
15. G. Sittampalam, O. de Moor, and K. F. Larsen. Incremental execution of transformation specifications. In SIGPLAN Symposium on Principles of Programming Languages (POPL'04), pages 26-38. ACM, January 2004.
16. S. W. K. Tjiang and J. L. Hennessy. Sharlit - A tool for building optimizers. In ACM SIGPLAN '92 Conference on Programming Language Design and Implementation, July 1992.
17. E. Visser. Scoped dynamic rewrite rules. In M. van den Brand and R. Verma, editors, Rule Based Programming (RULE'01), volume 59/4 of ENTCS. Elsevier Science Publishers, September 2001.
18. E. Visser. Meta-programming with concrete object syntax. In D. Batory, C. Consel, and W. Taha, editors, Generative Programming and Component Engineering (GPCE'02), volume 2487 of LNCS, pages 299-315, Pittsburgh, PA, USA, October 2002. Springer-Verlag.
19. E. Visser. Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9. In C. Lengauer et al., editors, Domain-Specific Program Generation, volume 3016 of LNCS, pages 216-238. Spinger-Verlag, June 2004.
20. E. Visser, Z.-e.-A. Benaissa, and A. Tolmach. Building program optimizers with rewriting strategies. In Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP'98), pages 13-26. ACM Press, September 1998.
21. M. Wegman and F. Zadeck. Constant propagation with conditional branches. ACM Transactions on Programming Languages and Systems, 13:181-210, April 1991.