Travelled to:1 × Japan
1 × Spain
1 × USA
Collaborated with:M.S.Ager O.Danvy A.Filinski
Talks about:evalu (3) partial (2) string (2) pattern (1) matcher (1) account (1) obtain (1) normal (1) untyp (1) pratt (1)
Person: Henning Korsholm Rohde
DBLP: Rohde:Henning_Korsholm
Contributed to:
2004
20032002Wrote 3 papers:
- FoSSaCS-2004-FilinskiR #evaluation #normalisation
- A Denotational Account of Untyped Normalization by Evaluation (AF, HKR), pp. 167–181.
- PEPM-2003-AgerDR #partial evaluation #pattern matching #performance #string
- Fast partial evaluation of pattern matching in strings (MSA, OD, HKR), pp. 3–9.
- ASIA-PEPM-2002-AgerDR #on the #partial evaluation #string
- On obtaining Knuth, Morris, and Pratt’s string matcher by partial evaluation (MSA, OD, HKR), pp. 32–46.