Program Transformation in Calculational Form (1998)

Cached

Download Links

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

Active Bibliography

33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
33 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
14 An Accumulative Parallel Skeleton for All – Z. Hu - 2001
2 A Calculational Framework for Parallelization of Sequential Programs – Zhenjiang Hu, Masato Takeichi - 1997
3 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
4 An Extension Of The Acid Rain Theorem – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
3 Using the Parametricity Theorem for Program Fusion – Leonidas Fegaras - 1996
47 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
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
7 Symbolic Composition – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1998
15 Declarative Program Transformation: a Deforestation case-study – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1999
Exploiting algebra/coalgebra duality for program fusion extensions – Facundo Domínguez, Alberto Pardo - 2011
14 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