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. 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. 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. 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. 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. 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