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

Documents Related by Co-Citation

1312 Monads for functional programming – Philip Wadler - 1995
215 Introduction to Functional Programming using Haskell – R Bird - 1998
146 Proving and applying program transformations expressed with second-order patterns – G Huet, B Lang - 1978
215 An introduction to the theory of lists – R S Bird - 1987
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
19 Efficient Second-Order Matching – RĂ©gis Curien, Zhenyu Qian, Hui Shi - 1996
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
96 and Oege de Moor. Algebra of Programming – Richard Bird - 1997
134 Stratego: A Language for Program Transformation based on Rewriting Strategies - System Description of Stratego 0.5 – Eelco Visser - 2001
14 Higher-order Matching for Program Transformation – Oege De Moor, Ganesh Sittampalam - 1999
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
944 Term Rewriting and All That – Franz Baader, Tobias Nipkow - 1998
58 Algebraic identities for program calculation – R S Bird - 1989
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
10 Tractable and Intractable Second-Order Matching Problems – Kouichi Hirata, Keizo Yamada, Masateru Harao - 1999
8 Towards correct, efficient and reusable transformational developments – B Krieg-Bruckner, J Liu, H Shi, B Wolff - 1995
22 More Efficient Bottom-Up Multi-Pattern Matching in Trees – J. Cai, R. Paige, R. Tarjan - 1992
11 Pattern Matching for Program Generation: A User Manual – Ted J. Biggerstaff - 1998
86 ASTLOG: A Language for Examining Abstract Syntax Trees – Roger F. Crew - 1997