Generic Program Transformation (1998)

Cached

Download Links

by Oege De Moor , Ganesh Sittampalam
Venue:Proc. 3rd International Summer School on Advanced Functional Programming, LNCS 1608
Citations:30 - 5 self

Active Bibliography

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
14 Higher-order Matching for Program Transformation – Oege De Moor, Ganesh Sittampalam - 1999
13 An Accumulative Parallel Skeleton for All – Z. Hu - 2001
26 Dynamic programming via static incrementalization – Yanhong A. Liu, Scott D. Stoller - 1999
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato 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
76 Rules and Strategies for Transforming Functional and Logic Programs – A. Pettorossi, M. Proietti, R. Dicembre - 1996
12 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
15 The Worker/Wrapper Transformation – Andy Gill, Graham Hutton - 2009
12 Universal regular path queries – Oege De Moor, David Lacey, Eric Van Wyk - 2003
Exploiting algebra/coalgebra duality for program fusion extensions – Facundo Domínguez, Alberto Pardo - 2011
5 Strategies for Fusing Logic and Control via Local, Application-Specific Transformations – Patricia Johann, Patricia Johann, Patricia Johann, Eelco Visser, Eelco Visser, Eelco Visser - 2003
12 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
15 Sharing of Computations – Torben Amtoft - 1993
10 Generic Accumulations – Alberto Pardo - 2002
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