| 2006 |
|---|
| 5 | 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) |
| 4 | EE | Olivier Danvy,
Henning Korsholm Rohde:
On obtaining the Boyer-Moore string-matching algorithm by partial evaluation.
Inf. Process. Lett. 99(4): 158-162 (2006) |
| 2004 |
|---|
| 3 | EE | Andrzej Filinski,
Henning Korsholm Rohde:
A Denotational Account of Untyped Normalization by Evaluation.
FoSSaCS 2004: 167-181 |
| 2003 |
|---|
| 2 | EE | Mads Sig Ager,
Olivier Danvy,
Henning Korsholm Rohde:
Fast partial evaluation of pattern matching in strings.
PEPM 2003: 3-9 |
| 2002 |
|---|
| 1 | 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 |
