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

564 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
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
430 Refactoring Object-Oriented Frameworks – William F. Opdyke - 1992
Jorge Sousa Pinto – Alcino Cunha
PURe Program Understanding and Re-engineering: Calculi and Applications – Manuel Alcino Cunha, Recursion Patterns, Hylomorphisms Manuel, Alcino Cunha - 2003