A transformation-based optimiser for Haskell

@article{citeulike:1844543, abstract = {Many compilers do some of their work by means of correctness-preserving, and hopefully performance-improving, program transformations. The Glasgow Haskell Compiler (GHC) takes this idea of \"compilation by transformation\" as its war-cry, trying to express as much as possible of the compilation process in the form of program transformations. This paper reports on our practical experience of the transformational approach to compilation, in the context of a substantial compiler. This paper is based ...}, author = {Simon and Santos, Andr\'e L. M. }, citeulike-article-id = {1844543}, journal = {Science of Computer Programming}, keywords = {haskell}, number = {1--3}, pages = {3--47}, posted-at = {2007-10-31 04:19:28}, priority = {2}, title = {A transformation-based optimiser for Haskell}, url = {http://citeseer.ist.psu.edu/peytonjones98transformationbased.html}, volume = {32}, year = {1998} }

TY - JOUR ID - citeulike:1844543 L3 - citeulike-article-id:1844543 TI - A transformation-based optimiser for Haskell JF - Science of Computer Programming VL - 32 IS - 1--3 SP - 3 EP - 47 N2 - Many compilers do some of their work by means of correctness-preserving, and hopefully performance-improving, program transformations. The Glasgow Haskell Compiler (GHC) takes this idea of "compilation by transformation" as its war-cry, trying to express as much as possible of the compilation process in the form of program transformations. This paper reports on our practical experience of the transformational approach to compilation, in the context of a substantial compiler. This paper is based ... KW - haskell AU - Simon AU - Santos, Andr\'e PY - 1998/// UR - http://citeseer.ist.psu.edu/peytonjones98transformationbased.html ER -