Verification for practical effectiveness of program fusion

Computer Software

Volumn 17, Issue 3, 2000, Pages 81-85

  Onoue, Yoshiyuki ^a   Hu, Zhenjiang ^a   Iwasaki, Hideya ^a   Takeichi, Masato ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 52849136145     PISSN: 02896540     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (11)

1. Chitil, O. : Type Inference Builds a Short Cut to Deforestation, ACM SIGPLAN Notices, Proceedings of ICFP '99, Vol. 34, No. 9 (1999), pp. 249-260.
2. The Glasgow Haskell Compiler. http://www.haskell.org/ghc/.
3. Gill, A., Launchbury, J. and Jones, S. : A Short Cut to Deforestation, Proc. Conference on Functional Programming Languages and Computer Architecture, Copenhagen, June 1993, pp. 223-232.
4. Hu, Z., Iwasaki, H. and Takeichi, M. : Deriving Structural Hylomorphisms from Recursive Definitions, ACM SIGPLAN International Conference on Functional Programming (ICFP '96), Philadelphia, USA, ACP Press, May 1996, pp. 73-82.
5. Launchbury, J. and Sheard, T. : Warm Fusion: Deriving Build-Catas from Recursive Definitions, FPCA '95, ACM Press, 1995, pp. 314-323.
6. Nemeth, L. and Jones, S. P. : A design for warm fusion, The 10th International Workshop on Implementations of Functional Languages, 1998, pp. 381-393.
7. The NoFib benchmark suite. http://www.dcs.gla.ac.uk/fp/software/ghc/nofib.html.
8. Onoue, Y., Hu, Z., Iwasaki, H. and Takeichi, M. : A Calculational Fusion System HYLO, IFIP TC2 WG2.1 Algorithmic Languages and Calculi (Bird, R. and Meertens, L. (eds.)), Alsace, France, Chapman & Hall, Feburary 17-22 1997, pp. 76-106.
9. Takano, A. and Meijer, E. : Shortcut Deforestation in Calculational Form, Proc. Conference on Functional Programming Languages and Computer Architecture, La Jolla, California, June 1995, pp. 306-313.