Mads Sig Ager, Olivier Danvy, and Henning Korsholm Rohde. On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. In Chin [13], pages 32--46. Extended version available as the technical report BRICS-RS-02-32. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Basic Research in Computer Science - Fast Partial Evaluation Self-citation (Ager Danvy Rohde) (Correct)
No context found.
Mads Sig Ager, Olivier Danvy, and Henning Korsholm Rohde. On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. In Chin [13], pages 32--46. Extended version available as the technical report BRICS-RS-02-32.
Fast Partial Evaluation of Pattern Matching in Strings - Ager, Danvy, Rohde (2003) (3 citations) Self-citation (Ager Danvy Rohde) (Correct)
.... In this article, the starting point is a staged quadratic3 time matcher and a simple memoizing partial evaluator, such as Similix, where specialization points are dynamic conditionals and dynamic functions [6] Figure 1 displays a staged matcher similar to the ones developed in the literature [1, 4, 10, 21]. Matching is done naively from left to right. After a mismatch the pattern is shifted one position to the right and matching resumes at the beginning of the pattern. Since we know that a prefix of the pattern matches a part of the text, we use this knowledge to continue matching using the pattern ....
....should compute static operations at specialization time and generate a residual program where dynamic operations do not disappear, are not duplicated and are executed in the same order as in the source program. 3 Specializing the staged matcher in linear time As already shown in the literature [1, 17], each specialized version of a staged matcher such as that of Figure 1 has size linear in the length of the pattern. For two reasons, however, specialization does not proceed in time linear in the length of the pattern. The first reason is that for every position in the pattern, the specializer ....
[Article contains additional citation context not shown here]
Mads Sig Ager, Olivier Danvy, and Henning Korsholm Rohde. On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. In Chin
The Translation Power of the Futamura Projections - Glück (2003) (Correct)
No context found.
M. S. Ager, O. Danvy, H. K. Rohde. On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. In Proceedings of the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 32--46. ACM Press, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC