СТ |
Incremental Execution of Transformation Specifications |
2004 |
Sittampalam G., De Moor O., Larsen K. F. |
|
|
SIGACT, SIGPLAN |
POPL 2004 |
08.06.2004 |
СТ |
Forwarding in Attribute Grammars for Modular Language Design |
2002 |
Van Wyk E., De Moor O., Backhouse K., Kwiatkowski P. |
|
|
|
Lecture Notes in Computer Science |
27.04.2002 |
СТ |
Higher-Order Pattern Matching for Automatically Applying Fusion Transformations |
2001 |
Sittampalam G., De Moor O. |
|
|
|
Lecture Notes in Computer Science |
24.05.2001 |
СТ |
Imperative Program Transformation by Rewriting |
2001 |
Lacey D., De Moor O. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
СТ |
Aspect-Oriented Compilers |
2000 |
De Moor O., Peyton-Jones S., Van Wyk E. |
|
|
|
Lecture Notes in Computer Science |
28.11.2000 |
СТ |
Compiling Embedded Languages |
2000 |
Elliott C., Finne S., De Moor O. |
|
|
|
Lecture Notes in Computer Science |
24.10.2000 |
СТ |
Pointwise Relational Programming |
2000 |
De Moor O., Gibbons J. |
|
|
|
Lecture Notes in Computer Science |
17.06.2000 |
СТ |
Higher Order Matching for Program Transformation |
1999 |
De Moor O., Sittampalam G. |
|
|
|
Lecture Notes in Computer Science |
25.11.1999 |
СТ |
Generic Program Transformation |
1999 |
De Moor O., Sittampalam G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
19.08.1999 |
СТ |
A Genetic Program for Sequential Decision Processes |
1995 |
De Moor O. |
Lecture Notes in Computer Science |
|
|
Programming Languages: Implementations, Logics and Programs |
16.11.1995 |
СТ |
From Dynamic Programming to Greedy Algorithms |
1993 |
Bird R., De Moor O. |
|
|
|
Lecture Notes in Computer Science |
08.02.1994 |
СТ |
Virtual Data Structures |
1993 |
Swierstra D., De Moor O. |
|
|
|
Lecture Notes in Computer Science |
08.02.1994 |