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