nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Survey of Rewriting Strategies in Program Transformation Systems
|
Visser, Eelco |
|
2001 |
57 |
C |
p. 109-143 35 p. |
artikel |
2 |
Compact Normalisation Trace via Lazy Rewriting
|
Nguyen, Quang-Huy |
|
2001 |
57 |
C |
p. 87-108 22 p. |
artikel |
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. |
artikel |
4 |
Evaluation Strategies for Functional Logic Programming
|
Antoy, Sergio |
|
2001 |
57 |
C |
p. 1-16 16 p. |
artikel |
5 |
Fusing Logic and Control with Local Transformations
|
Johann, Patricia |
|
2001 |
57 |
C |
p. 144-162 19 p. |
artikel |
6 |
Generic type-preserving traversal strategies
|
Lämmel, Ralf |
|
2001 |
57 |
C |
p. 64-86 23 p. |
artikel |
7 |
Hot Topics in Reduction Strategies
|
Ida, Tetsuo |
|
2001 |
57 |
C |
p. 192-195 4 p. |
artikel |
8 |
Is Strategic Programming a Viable Paradigm?
|
Klint, Paul |
|
2001 |
57 |
C |
p. 196-200 5 p. |
artikel |
9 |
Just-in-time
|
van de Pol, Jaco |
|
2001 |
57 |
C |
p. 41-63 23 p. |
artikel |
10 |
Preface
|
Gramlich, Bernhard |
|
2001 |
57 |
C |
p. 201-202 2 p. |
artikel |
11 |
Reduction Strategies for Declarative Programming
|
Hanus, Michael |
|
2001 |
57 |
C |
p. 184-191 8 p. |
artikel |
12 |
The Simple Type Theory of Normalisation by Evaluation
|
Vestergaard, René |
|
2001 |
57 |
C |
p. 163-183 21 p. |
artikel |