Henning Korsholm Rohde

Publication Activity (10 Years)

Years Active: 2002-2006
Publications (10 Years): 0

Publications

Olivier Danvy, Henning Korsholm Rohde
On obtaining the Boyer-Moore string-matching algorithm by partial evaluation. Inf. Process. Lett. 99 (4) (2006)
Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
Fast partial evaluation of pattern matching in strings. ACM Trans. Program. Lang. Syst. 28 (4) (2006)
Andrzej Filinski, Henning Korsholm Rohde
Denotational aspects of untyped normalization by evaluation. RAIRO Theor. Informatics Appl. 39 (3) (2005)
Andrzej Filinski, Henning Korsholm Rohde
A Denotational Account of Untyped Normalization by Evaluation. FoSSaCS (2004)
Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
Fast partial evaluation of pattern matching in strings. PEPM (2003)
Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. ASIA-PEPM (2002)