Henning Korsholm Rohde

According to our database, Henning Korsholm Rohde authored at least 5 papers between 2002 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

Fast partial evaluation of pattern matching in strings.

Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde

ACM Trans. Program. Lang. Syst., 2006

On obtaining the Boyer-Moore string-matching algorithm by partial evaluation.

Olivier Danvy, Henning Korsholm Rohde

Inf. Process. Lett., 2006

2005

Denotational aspects of untyped normalization by evaluation.

Andrzej Filinski, Henning Korsholm Rohde

RAIRO Theor. Informatics Appl., 2005

2004

A Denotational Account of Untyped Normalization by Evaluation.

Andrzej Filinski, Henning Korsholm Rohde

Proceedings of the Foundations of Software Science and Computation Structures, 2004

2002

On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation.

Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde

Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002