Rohde, Henning Korsholm

• BRICS Report Series No. 26 (2005): RS-26 Measuring the Propagation of Information in Partial Evaluation - Articles
  Measuring the Propagation of Information in Partial Evaluation
  Abstract  PDF
• BRICS Report Series No. 34 (2005): RS-34 Formal Aspects of Polyvariant Specialization - Articles
  Formal Aspects of Polyvariant Specialization
  Abstract  PDF
• BRICS Report Series No. 29 (2005): RS-29 On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation - Articles
  On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation
  Abstract  PDF
• BRICS Report Series No. 4 (2005): RS-4 Denotational Aspects of Untyped Normalization by Evaluation - Articles
  Denotational Aspects of Untyped Normalization by Evaluation
  Abstract  PDF
• BRICS Report Series No. 14 (2005): RS-14 On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation - Articles
  On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation
  Abstract  PDF
• BRICS Report Series No. 40 (2003): RS-40 A Denotational Account of Untyped Normalization by Evaluation - Articles
  A Denotational Account of Untyped Normalization by Evaluation
  Abstract  PDF
• BRICS Report Series No. 11 (2003): RS-11 Fast Partial Evaluation of Pattern Matching in Strings - Articles
  Fast Partial Evaluation of Pattern Matching in Strings
  Abstract  PDF
• BRICS Report Series No. 40 (2004): RS-40 Fast Partial Evaluation of Pattern Matching in Strings - Articles
  Fast Partial Evaluation of Pattern Matching in Strings
  Abstract  PDF
• BRICS Report Series No. 20 (2003): RS-20 Fast Partial Evaluation of Pattern Matching in Strings - Articles
  Fast Partial Evaluation of Pattern Matching in Strings
  Abstract  PDF
• BRICS Report Series No. 32 (2002): RS-32 On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation - Articles
  On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation
  Abstract  PDF