Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems (2000)

by Patricia Johann , Eelco Visser
Citations:23 - 13 self

Active Bibliography

535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
4 Program Transformation in Calculational Form – Akihiko Takano, Zhenjiang Hu, Masato Takeichi - 1998
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
PURe Program Understanding and Re-engineering: Calculi and Applications – Manuel Alcino Cunha, Recursion Patterns, Hylomorphisms Manuel, Alcino Cunha - 2003
Jorge Sousa Pinto – Alcino Cunha
Abstract Lightweight Fusion by Fixed Point Promotion ∗ – unknown authors
406 Deforestation: transforming programs to eliminate trees – P Wadler - 1988