Program Transformation in Calculational Form (1998)

Cached

Download Links

by Akihiko Takano , Zhenjiang Hu , Masato Takeichi
Citations:4 - 4 self

Documents Related by Co-Citation

28 Parallelization in Calculational Forms – Zhenjiang Hu, Masato Takeichi, Wei-ngan Chin - 1998
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
32 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Y. Onoue, Z. Hu, H. Iwasaki, M. Takeichi - 1997
31 Tupling Calculation Eliminates Multiple Data Traversals – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano - 1997
60 Safe fusion of functional expressions – Wei-Ngan Chin - 1992
205 An introduction to the theory of lists – R Bird - 1987
9 A Transformation Method for Dynamic-Sized Tabulation – Wei-ngan Chin, Masami Hagiya - 1995
36 Discovery of Frequent Patterns in Large Data Collections – Hannu Toivonen, Hannu Toivonen, Hannu Toivonen - 1996
84 Multiple uses of frequent sets and condensed representations (Extended Abstract) – Heikki Mannila, Hannu Toivonen - 1996
84 The promotion and accumulation strategies in transformational programming – R S Bird - 1984
33 Automatic Methods for Program Transformation – Wei-Ngan Chin - 1990
66 Tabulation techniques for recursive programs – Richard S Bird - 1980
1953 Mining Association Rules between Sets of Items in Large Databases – Rakesh Agrawal, Tomasz Imielinski, Arun Swami - 1993
200 Introduction to functional programming using Haskell – R Bird - 1998
173 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
18 Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms – Z Hu, H Iwasaki, M Takeichi - 1997
1224 Introduction to functional programming – Philip Wadler - 1995
3 Kernel-control parallel versus data parallel: A technical comparison – T W Pratt - 1993
5 Data Parallel Programming: A Survey and a Proposal for a New Model – Per Hammarlund, Per Hammarlundy, Björn Lisper, Bjorn Lisper - 1993