Building program optimizers with rewriting strategies

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 1, 1999, Pages 13-25

  Visser, Eelco ^a   Benaissa, Zine El Abidine ^a   Tolmach, Andrew ^a,b  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

^b Portland State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17244362990     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/291251.289425     Document Type: Article

References (28)

1. Hassan Aït-Kaci. Warren's Abstract Machine. A Tutorial Reconstruction. The MIT Press, Cambridge, Massachusetts, 1991.
2. William Aitken, Brian Dickens, Paul Kwiatkowski, Oege de Moor, David Richter, and Charles Simonyi. Transformation in intentional programming. In Proceedings ICRS5, June 1998. (To appear).
3. Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 1992.
4. Andrew W. Appel and Trevor Jim. Shrinking lambda expressions in linear time. Journal of Functional Programming, 7(5):515-540, September 1997.
5. Uwe Assmann. How to uniformly specify program analysis and transformation with graph rewrite systems. In Proceedings Compiler Construction 1996, number 1060 in Lecture Notes in Computer Science, 1996.
6. J.A. Bergstra and J.W. Klop. Process algebra for synchronous communication. Information & Control, 60:82-95, 1984.
7. Peter Borovansky, Claude Kirchner, and Hélène Kirchner. Controlling rewriting by rewriting. In José Meseguer, editor, Proceedings of the First International Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science, Asilomar, Pacific Grove, CA, September 1996. Elsevier.
8. Manuel Clavel, Steven Eker, Patrick Lincoln, and José Meseguer. Principles of Maude. In José Meseguer, editor, Proceedings of the First International Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science, pages 65-89, Asilomar, Pacific Grove, CA, September 1996, Elsevier.
9. James R. Cordy, Ian H. Carmichael, and Russell Halliday. The TXL Programming Language, Version 8, April 1995.
10. A. Van Deursen, J. Heering, and P. Klint, editors. Language Prototyping. An Algebraic Specification Appreach, volume 5 of AMAST Series in Computing. World Scientific, Singapore, September 1996.
11. Rickard E. Faith, Lars S. Nyland, and Jan F. Prins. KHEPERA: A system for rapid implementation of domain specific languages. In Proceedings USENIX Conference on Domain-Specific Languages, pages 243-255, October 1997.
12. Charles Donald Farnum. Pattern-Based Languages for Prototyping of Compiler Optimizers. PhD thesis, University of California, Berkeley, 1990. Technical Report CSD-90-608.
13. Pascal Fradet and Daniel Le Métayer. Compilation of functional languages by program transformation. ACM Transactions on Programming Languages and System, 13(1):21-51, January 1991.
14. M. J. Gordon, A. J. Milner, and C. P. Wadsworth. Edinburgh LCF. A Mechanised Logic of Computation, volume 78 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1979.
15. Joseph Grosch. Puma - a generator for the transformation of attributed trees. Technical Report 26, Gesellschaft für Mathematik und Datenverarbeitung mbH, Forschungsstelle an der Universität Karlsruhe, November 1991.
16. Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-oriented programming. Technical report, Xerox Palo Alto Research Center, 1997.
17. C. Kirchner, H. Kirchner, and M. Vittek. Implementing computational systems with constraints. In P. Kanellakis, J-L. Lassez, and V. Saraswat, editors, Proceedings of the first Workshop on Principles and Practice of Constraint Programming, pages 166-175, Providence R.I., USA, 1993. Brown University.
18. Marion Klein, Jens Knoop, Dirk Koschutzki, and Bernhard Steffen. DFA & OPT-METAFrame: A toolkit for program analysis and optimization. In Proceedings of the 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), volume 1055 of Lecture Notes in Computer Science, pages 418-121, Passau (Germany), March 1996. Springer Verlag.
19. Peter Lapps, Ulrich Möncke, and Reinhard Wilhelm. OPTRAN - a language/system for the specification of program transformations: System overview and experiences. In Proceedings 2nd Workshop on Compiler Compilers and High Speed Compilation, volume 371 of Lecture Notes in Computer Science, pages 52-65, October 1988.
20. Bas Luttik and Eelco Visser. Specification of rewriting strategies. In M. P. A. Sellink, editor, 2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97), Electronic Workshops in Computing, Berlin, November 1997. Springer-Verlag.
21. Andrew Malton. The denotational semantics of a functional tree-manipulation language. Computer Languages, 19(3):157-168, 1993.
22. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT press, 2nd edition, 1997.
23. Pieter Olivier. Term data-structure library - C API. Programming Research Group, University of Amsterdam, 1997. (Unpublished software documentation.).
24. S. L. Peyton Jones and A. L. M. Santos. A transformation-based optimiser for Haskell. Science of Computer Programming, 1998. (To appear).
25. Steven W. K. Tjiang and John L. Hennessy. Sharlit - A tool for building optimizers. In ACM SIGPLAN '92 Conference on Programming Language Design and Implementation, July 1992.
26. Andrew Tolmach and Dino Oliva. From ML to Ada: Strongly-typed language interoperability via source translation. Journal of Functional Programming, 1998. (To appear).
27. (27] Eelco Visser and Zine-el-Abidine Benaissa. A core language for rewriting. In C. Kirchner and H. Kirchner, editors, Second International Workshop on Rewriting Logic and its Applications (WRLA '98), Electronic Notes in Theoretical Computer Science, Pontà-Mousson, France, September 1-4 1998. Elsevier.
28. Deborah Whitfield and Mary Lou Soffa. The design and implementation of Genesis. Software- Practice and Experience, 24(3):307-325, March 1994.