Henning Korsholm Rohde

Computer Science

Olivier Danvy	grad student		(Computer Science Tree)
Andrzej Olaf Filinski	grad student		Aarhus University

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.
Danvy O, Rohde HK. (2006) On obtaining the Boyer-Moore string-matching algorithm by partial evaluation Information Processing Letters. 99: 158-162
Filinski A, Rohde HK. (2005) Denotational Aspects of Untyped Normalization by Evaluation Brics Report Series. 12
Rohde HK. (2005) Formal Aspects of Polyvariant Specialization Brics Report Series. 12
Danvy O, Rohde HK. (2005) On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation Brics Report Series. 12
Rohde HK. (2005) Measuring the Propagation of Information in Partial Evaluation Brics Report Series. 12
Filinski A, Rohde HK. (2005) Denotational aspects of untyped normalization by evaluation Rairo - Theoretical Informatics and Applications. 39: 423-453
Ager MS, Danvy O, Rohde HK. (2003) Fast Partial Evaluation of Pattern Matching in Strings Brics Report Series. 10
Ager MS, Danvy O, Rohde HK. (2003) Fast partial evaluation of pattern matching in strings Acm Sigplan Notices. 38: 243-249
Ager MS, Danvy O, Rohde HK. (2002) On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation Brics Report Series. 9