Towards a Modular Program Derivation via Fusion and Tupling (2002)

Cached

Download Links

by Wei-Ngan Chin , Zhenjiang Hu
Venue: The First ACM SIGPLAN Conference on Generators and Components, Lecture
Citations:2 - 0 self

Active Bibliography

33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
33 Tupling Calculation Eliminates Multiple Data Traversals – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano - 1997
4 Calculating a New Data Mining Algorithm for Market Basket Analysis – Zhenjiang Hu, Wei-ngan Chin, Masato Takeichi - 2000
Enhanced Parallelization via Constraints – Wei-Ngan Chin National, Wei-ngan Chin, Zhenjiang Hu, Masato Takeichi, Akihiko Takano - 1997
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
15 Declarative Program Transformation: a Deforestation case-study – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1999
4 An Extension Of The Acid Rain Theorem – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
5 Deriving Parallel Codes via Invariants – Wei-ngan Chin, Siau-cheng Khoo, Zhenjiang Hu, Masato Takeichi
4 Program Transformation in Calculational Form – Akihiko Takano, Zhenjiang Hu, Masato Takeichi - 1998
4 Automating Synthesis by Completion – Françoise Bellegarde - 1994
12 Constraints to Stop Higher-Order Deforestation – H. Seidl, M.H. Sørensen - 1997
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
7 Symbolic Composition – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1998
3 Using the Parametricity Theorem for Program Fusion – Leonidas Fegaras - 1996
1 Algebraic fusion of functions with an accumulating parameter and its improvement – Shin-ya Katsumata - 2006
2 Deforesting in Accumulating Parameters via Type-Directed Transformations – Susumu Nishimura - 2002