| 2006 |
|---|
| 8 | EE | Mads Sig Ager,
Olivier Danvy,
Henning Korsholm Rohde:
Fast partial evaluation of pattern matching in strings.
ACM Trans. Program. Lang. Syst. 28(4): 696-714 (2006) |
| 2005 |
|---|
| 7 | EE | Mads Sig Ager,
Olivier Danvy,
Jan Midtgaard:
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects.
Theor. Comput. Sci. 342(1): 149-172 (2005) |
| 2004 |
|---|
| 6 | EE | Mads Sig Ager:
From Natural Semantics to Abstract Machines.
LOPSTR 2004: 245-261 |
| 5 | EE | Mads Sig Ager,
Olivier Danvy,
Jan Midtgaard:
A functional correspondence between call-by-need evaluators and lazy abstract machines.
Inf. Process. Lett. 90(5): 223-232 (2004) |
| 2003 |
|---|
| 4 | EE | Mads Sig Ager,
Olivier Danvy,
Henning Korsholm Rohde:
Fast partial evaluation of pattern matching in strings.
PEPM 2003: 3-9 |
| 3 | EE | Mads Sig Ager,
Dariusz Biernacki,
Olivier Danvy,
Jan Midtgaard:
A functional correspondence between evaluators and abstract machines.
PPDP 2003: 8-19 |
| 2002 |
|---|
| 2 | EE | Mads Sig Ager,
Olivier Danvy,
Henning Korsholm Rohde:
On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation.
ASIA-PEPM 2002: 32-46 |
| 1 | EE | Mads Sig Ager,
Olivier Danvy,
Mayer Goldberg:
A Symmetric Approach to Compilation and Decompilation.
The Essence of Computation 2002: 296-331 |
