|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Multiple-Clause Folding Rule Using Instantiation and Generalization |
David A. Rosenblueth |
2005 |
69 | 1-2 |
p. 219-249 |
article |
|
| 2 | Control Generation by Program Transformation |
Andy King |
2005 |
69 | 1-2 |
p. 179-218 |
article |
|
| 3 | Higher Order Deforestation |
Geoff W. Hamilton |
2005 |
69 | 1-2 |
p. 39-61 |
article |
|
| 4 | Implementing Typeful Program Transformations |
Chiyan Chen |
2005 |
69 | 1-2 |
p. 103-121 |
article |
|
| 5 | Program Transformation: Theoretical Foundations and Basic Techniques. Part 2 |
Alberto Pettorossi |
2005 |
69 | 1-2 |
p. v-vii |
article |
|
| 6 | Program Transformation with Scoped Dynamic Rewrite Rules |
Martin Bravenboer |
2005 |
69 | 1-2 |
p. 123-178 |
article |
|
| 7 | Redundant Call Elimination via Tupling |
Wei-Ngan Chin |
2005 |
69 | 1-2 |
p. 1-37 |
article |
|
| 8 | The Impact of seq on Free Theorems-Based Program Transformations |
Patricia Johann |
2005 |
69 | 1-2 |
p. 63-102 |
article |
8 results found