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

31 Parallelization in Calculational Forms – Zhenjiang Hu, Masato Takeichi, Wei-ngan Chin - 1998
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
33 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
215 An introduction to the theory of lists – R S Bird - 1987
9 A Transformation Method for Dynamic-Sized Tabulation – Wei-ngan Chin, Masami Hagiya - 1995
67 Tabulation techniques for recursive programs – R S Bird - 1980
87 The promotion and accumulation strategies in transformational programming – R Bird - 1984
34 Automatic Methods for Program Transformation – W N Chin - 1990
35 Discovery of Frequent Patterns in Large Data Collections – Hannu Toivonen, Hannu Toivonen, Hannu Toivonen - 1996
2418 Mining Association Rules between Sets of Items in Large Databases – Rakesh Agrawal, Tomasz Imielinski, Arun Swami - 1993
89 Multiple uses of frequent sets and condensed representations (Extended Abstract) – Heikki Mannila, Hannu Toivonen - 1996
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
215 Introduction to Functional Programming using Haskell – R Bird - 1998
21 Formal derivation of efficient parallel programs by construction of list homomorphisms – Z Hu, H Iwasaki, M Takechi - 1997
1312 Monads for functional programming – Philip Wadler - 1995
5 Data Parallel Programming: A Survey and a Proposal for a New Model РPer Hammarlund, Per Hammarlundy, Björn Lisper, Bjorn Lisper - 1993
7 Categorical Data Types – D. B. Skillicorn - 1993