Building Program Optimizers with Rewriting Strategies (1998)

Cached

Download Links

by Eelco Visser , Zine-el-Abidine , Andrew Tolmach
Venue:Proceedings of the International Conference on Functional Programming (ICFP'98
Citations:110 - 33 self

Active Bibliography

Building Program Optimizers with Rewriting Strategies – Eelco Visser Zine-El-Abidine, Eelco Visser, Zine-el-abidine Benaissa, Andrew Tolmach - 1998
56 Playing by the rules: rewriting as a practical optimisation technique in GHC – Simon Peyton Jones, Andrew Tolmach, Tony Hoare
18 Scoped Dynamic Rewrite Rules – Eelco Visser - 2001
24 A Survey of Rewriting Strategies in Program Transformation Systems – Eelco Visser - 2001
22 A Survey of Strategies in Rule-Based Program Transformation Systems – Eelco Visser, Eelco Visser, Eelco Visser - 2005
20 A Calculus for Compiling and Linking Classes – Kathleen Fisher, John Reppy, Jon G. Riecke - 2000
12 Fast and Effective Procedure Inlining – Oscar Waddell, R. Kent Dybvig - 1997
47 Secrets of the Glasgow Haskell Compiler inliner – Simon Peyton Jones, Simon Marlow - 1999
iv TABLE OF CONTENTS – Ross Tate, Bobby Mcferrin - 2012
Equality Saturation: Engineering Challenges and Applications – unknown authors - 2011
105 Compiling Standard ML to Java bytecodes – Nick Benton, Andrew Kennedy, George Russell, Nick Benton, Andrew Kennedy, George Russell - 1998
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
20 Equality saturation: a new approach to optimization – Ross Tate, Zachary Tatlock, Sorin Lerner - 2009
-- A Unified Platform for Parsing and Generation – Shuly Wintner Seminar, Processing (ranlp, Tzigov Chark, Categorial Grammar
Towards Computer-Verified Proofs of Correctness of Logic-Programming Interpreters Using Derivations – Vernon Ralph Austel, Vernon Ralph Austel, Herbert Enderton, Eli Gafni, Carlo Zaniolo, D. Stott Parker, Committee Chair - 1997
15 Verification of Compiler Correctness for the WAM – Cornelia Pusch - 1996
9 Use of Prolog for developing a new programming language – J. L. Armstrong, S.R. Virding, M. C. Williams - 1992
144 Logical Models of Argument РCarlos Ivan Ches̱evar, Ana Gabriela Maguitman, Ronald Prescott Loui - 2000
14 Aspect-Oriented Programming and Component Weaving: Using XML Representations of Abstract Syntax Trees – Stefan Schonger, Elke Pulvermüller, Stefan Sarstedt - 2002