|
533
|
A Transformation System for Developing Recursive Programs
– R. M. Burstall, John Darlington
- 1977
|
|
71
|
Towards an automated tupling strategy
– Wei-Ngan Chin
- 1993
|
|
15
|
Realtime Signal Processing
– H J Reekie
- 1995
|
|
593
|
Partial Evaluation and Automatic Program Generation
– N D Jones, C K Gomard, P Sestoft
- 1993
|
|
6
|
A powerful strategy for deriving ecient programs by transformation
– A Pettorossi
- 1984
|
|
24
|
Finite di erencing of computable expressions
– R Paige, S Koenig
- 1982
|
|
42
|
Static Caching for Incremental Computation
– Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
- 1998
|
|
7324
|
Cache-oblivious algorithms
– M FRIGO, C E LEISERSON, H PROKOP, S RAMACHANDRAN
- 1999
|
|
17
|
M.: HML, a novel hardware description language and its translation to VHDL
– Y Li, Leeser
- 2000
|
|
96
|
Lava: Hardware Design in Haskell
– Per Bjesse, Koen Claessen, Mary Sheeran
- 1998
|
|
208
|
A Framework for Comparing Models of Computation
– Edward A. Lee, Alberto Sangiovanni-vincentelli
- 1998
|
|
343
|
The synchronous approach to reactive and real-time systems
– Albert Benveniste, Gerard Berry
- 1991
|
|
134
|
Transformation of logic programs: Foundations and techniques
– A Pettorossi, M Proietti
- 1994
|
|
1112
|
Refactoring: Improving the Design of Existing Code
– M Fowler, K Beck, J Brant, W Opdyke, D Roberts
- 1999
|
|
55
|
Total Correctness by Local Improvement in the Transformation of Functional Programs
– David Sands
- 1996
|
|
33
|
Transformation of Logic Programs
– Alberto Pettorossi, Maurizio Proietti
- 1998
|
|
375
|
Deforestation: Transforming programs to eliminate trees
– Philip Wadler
- 1990
|
|
63
|
Specification and Transformation of Programs
– Helmut A Partsch
- 1990
|
|
230
|
Partial evaluation in logic programming
– J W Lloyd, J C Shepherdson
- 1991
|
