nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Algebraic reasoning for object-oriented programming
|
Borba, Paulo |
|
2004 |
52 |
1-3 |
p. 53-100 48 p. |
artikel |
2 |
A tour of Tempo: a program specializer for the C language
|
Consel, Charles |
|
2004 |
52 |
1-3 |
p. 341-370 30 p. |
artikel |
3 |
Author Index
|
|
|
2004 |
52 |
1-3 |
p. 371- 1 p. |
artikel |
4 |
Automatic validation of code-improving transformations on low-level program representations
|
van Engelen, Robert |
|
2004 |
52 |
1-3 |
p. 257-280 24 p. |
artikel |
5 |
Editorial Board
|
|
|
2004 |
52 |
1-3 |
p. ii- 1 p. |
artikel |
6 |
Monadification of functional programs
|
Erwig, Martin |
|
2004 |
52 |
1-3 |
p. 101-129 29 p. |
artikel |
7 |
Pigs from sausages? Reengineering from assembler to C via FermaT transformations
|
Ward, M.P. |
|
2004 |
52 |
1-3 |
p. 213-255 43 p. |
artikel |
8 |
Static composition of refactorings
|
Kniesel, Günter |
|
2004 |
52 |
1-3 |
p. 9-51 43 p. |
artikel |
9 |
Supporting incremental and experimental software evolution by runtime method transformations
|
Zdun, Uwe |
|
2004 |
52 |
1-3 |
p. 131-163 33 p. |
artikel |
10 |
The transient combinator, higher-order strategies, and the distributed data problem
|
Winter, Victor L. |
|
2004 |
52 |
1-3 |
p. 165-212 48 p. |
artikel |
11 |
Transformation by interpreter specialisation
|
Jones, Neil D. |
|
2004 |
52 |
1-3 |
p. 307-339 33 p. |
artikel |
12 |
Transformations everywhere
|
Lämmel, Ralf |
|
2004 |
52 |
1-3 |
p. 1-8 8 p. |
artikel |
13 |
Type-safe method inlining
|
Glew, Neal |
|
2004 |
52 |
1-3 |
p. 281-306 26 p. |
artikel |