| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A Survey of Rewriting Strategies in Program Transformation Systems
|
Visser, Eelco
|
|
2001
|
57 |
C |
p. 109-143
35 p.
|
article
|
| 2 |
Compact Normalisation Trace via Lazy Rewriting
|
Nguyen, Quang-Huy
|
|
2001
|
57 |
C |
p. 87-108
22 p.
|
article
|
| 3 |
Declarative Debugging of Functional Logic Programs 1 1 This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424.
|
Alpuente, M.
|
|
2001
|
57 |
C |
p. 17-40
24 p.
|
article
|
| 4 |
Evaluation Strategies for Functional Logic Programming
|
Antoy, Sergio
|
|
2001
|
57 |
C |
p. 1-16
16 p.
|
article
|
| 5 |
Fusing Logic and Control with Local Transformations
|
Johann, Patricia
|
|
2001
|
57 |
C |
p. 144-162
19 p.
|
article
|
| 6 |
Generic type-preserving traversal strategies
|
Lämmel, Ralf
|
|
2001
|
57 |
C |
p. 64-86
23 p.
|
article
|
| 7 |
Hot Topics in Reduction Strategies
|
Ida, Tetsuo
|
|
2001
|
57 |
C |
p. 192-195
4 p.
|
article
|
| 8 |
Is Strategic Programming a Viable Paradigm?
|
Klint, Paul
|
|
2001
|
57 |
C |
p. 196-200
5 p.
|
article
|
| 9 |
Just-in-time
|
van de Pol, Jaco
|
|
2001
|
57 |
C |
p. 41-63
23 p.
|
article
|
| 10 |
Preface
|
Gramlich, Bernhard
|
|
2001
|
57 |
C |
p. 201-202
2 p.
|
article
|
| 11 |
Reduction Strategies for Declarative Programming
|
Hanus, Michael
|
|
2001
|
57 |
C |
p. 184-191
8 p.
|
article
|
| 12 |
The Simple Type Theory of Normalisation by Evaluation
|
Vestergaard, René
|
|
2001
|
57 |
C |
p. 163-183
21 p.
|
article
|
Journal description