|
32
|
A Calculational Fusion System HYLO
– Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Y. Onoue, Z. Hu, H. Iwasaki, M. Takeichi
- 1997
|
|
2
|
Towards polytypic parallel programming
– Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki
- 1998
|
|
31
|
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
|
|
3
|
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
|
|
22
|
Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems
– Patricia Johann, Eelco Visser
- 2000
|
|
4
|
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
|
|
11
|
Constraints to Stop Higher-Order Deforestation
– H. Seidl, M.H. Sørensen
- 1997
|
|
84
|
Shortcut Deforestation in Calculational Form
– Akihiko Takano, Erik Meijer
- 1995
|
|
7
|
Symbolic Composition
– Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel
- 1998
|
|
2
|
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
|
