|
32
|
A Calculational Fusion System HYLO
– Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Y. Onoue, Z. Hu, H. Iwasaki, M. Takeichi
- 1997
|
|
22
|
Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems
– Patricia Johann, Eelco Visser
- 2000
|
|
31
|
Tupling Calculation Eliminates Multiple Data Traversals
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
- 1997
|
|
16
|
Calculating Accumulations
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1999
|
|
2
|
Towards polytypic parallel programming
– Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki
- 1998
|
|
11
|
An Accumulative Parallel Skeleton for All
– Z. Hu
- 2001
|
|
2
|
A Calculational Framework for Parallelization of Sequential Programs
– Zhenjiang Hu, Masato Takeichi
- 1997
|
|
2
|
Towards Manipulation of Mutually Recursive Functions
– Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi
- 1998
|
|
2
|
Towards a Modular Program Derivation via Fusion and Tupling
– Wei-Ngan Chin, Zhenjiang Hu
- 2002
|
|
3
|
An Extension Of The Acid Rain Theorem
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1996
|
|
5
|
Functional polytypic programming | use and implementation
– Patrik Jansson
- 1997
|
|
2
|
Using the Parametricity Theorem for Program Fusion
– Leonidas Fegaras
- 1996
|
|
46
|
Deriving Structural Hylomorphisms From Recursive Definitions
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1996
|
|
7
|
Symbolic Composition
– Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel
- 1998
|
|
3
|
How to Deforest in Accumulative Parameters?
– Loïc Correnson, How Deforest, Accumulative Parameters, Etienne Duris, Etienne Duris, Didier Parigot, Didier Parigot, Gilles Roussel, Gilles Roussel
- 1999
|
|
15
|
Declarative Program Transformation: a Deforestation case-study
– Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel
- 1999
|
|
10
|
Fusion of Recursive Programs with Computational Effects
– Alberto Pardo
- 2000
|
|
4
|
Attribute Grammars and Functional Programming Deforestation
– Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel, Le Chesnay Cedex, Gilles Roussel Is Also
- 1997
|
|
4
|
Strategies for Fusing Logic and Control via Local, Application-Specific Transformations
– Patricia Johann, Patricia Johann, Patricia Johann, Eelco Visser, Eelco Visser, Eelco Visser
- 2003
|
