|
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
|
|
14
|
Higher-order Matching for Program Transformation
– Oege De Moor, Ganesh Sittampalam
- 1999
|
|
11
|
An Accumulative Parallel Skeleton for All
– Z. Hu
- 2001
|
|
26
|
Dynamic programming via static incrementalization
– Yanhong A. Liu, Scott D. Stoller
- 1999
|
|
32
|
A Calculational Fusion System HYLO
– Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Y. Onoue, Z. Hu, H. Iwasaki, M. Takeichi
- 1997
|
|
|
Higher Order Pattern Matching for Program Transformation
– Ganesh Sittampalam
- 1999
|
|
4
|
Program Transformation in Calculational Form
– Akihiko Takano, Zhenjiang Hu, Masato Takeichi
- 1998
|
|
68
|
Rules and Strategies for Transforming Functional and Logic Programs
– A. Pettorossi, M. Proietti, R. Dicembre
- 1996
|
|
11
|
The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations
– Stephen Fitzpatrick, Terence J. Harmer, Alan Stewart, Maurice Clint, James M. Boyle
- 1997
|
|
10
|
Universal regular path queries
– Oege De Moor, David Lacey, Eric Van Wyk
- 2003
|
|
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
|
|
10
|
Fusing Logic and Control with Local Transformations: An Example Optimization
– Patricia Johann, Eelco Visser
- 2001
|
|
|
Deterministic Second-order Patterns in Program Transformation
– Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
- 2003
|
|
9
|
Generic Accumulations
– Alberto Pardo
- 2002
|
|
14
|
Sharing of Computations
– Torben Amtoft
- 1993
|
|
|
Efficient Call-by-value Evaluation Strategy of Primitive Recursive Program Schemes
– Andrea Mößle, Heiko Vogler, Tu Dresden, Fakultat Informatik, Lehrstuhl Grundlagen Der Programmierung
- 1995
|
|
|
On Deforesting Parameters of Accumulating Maps (Extended Abstract)
– Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura
- 2001
|
|
5
|
On Deforesting Parameters of Accumulating Maps
– Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura
- 2002
|
