Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde  Home/Search
Context Related
Links: ACM DBLP | brics.dk/~hense/pa...ICSRS0311.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: readscheme.org/whats_new (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We show how to obtain all of Knuth, Morris, and Pratt's linear-time string matcher by partial evaluation of a quadratic-time string matcher with respect to a pattern string. Although it has been known for 15 years how to obtain this linear matcher by partial evaluation of a quadratic one, how to obtain it in linear time has remained an open problem. (Update)
Cited by: More
A Monadic Approach for Avoiding Code Duplication when .. - Swadi, Taha.. (2006) (Correct)
Staging Dynamic Programming Algorithms - Kedar Swadi Kswadi (2005) (Correct)
Transformation by Interpreter Specialisation - Jones (2004) (Correct)
Similar documents (at the sentence level):
71.4%: Basic Research in Computer Science - Fast Partial Evaluation (Correct)
Active bibliography (related documents): More All
3.3: The Abstraction and Instantiation of String-Matching.. - Amtoft, Consel.. (2001) (Correct)
1.3: Partial Evaluation of Pattern Matching in Strings, revisited - Grobauer, Lawall (2000) (Correct)
0.5: A Survey on Multi-Stage Programming Languages - Yang (1999) (Correct)
Similar documents based on text: More All
4.3: On Obtaining Knuth, Morris, and Pratt's String Matcher by.. - Ager, Danvy, Rohde (2002) (Correct)
1.1: A Unifying Approach to Goal-Directed Evaluation - Danvy, Grobauer, Rhiger (2001) (Correct)
1.1: A Simple Take on Typed Abstract Syntax in Haskell-like Languages - Danvy, Rhiger (2000) (Correct)
Related documents from co-citation: More All
3: Dynamic programming via static incrementalization - Liu, Stoller - 1999
3: Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
3: Automatic autoprojection of recursive equations with global variables and abstra.. - Bondorf, Danvy - 1991
BibTeX entry: (Update)
Mads Sig Ager, Olivier Danvy, and Henning Korsholm Rohde. Fast partial evaluation of pattern matching in strings. In Proceedings of the 2003. http://citeseer.ist.psu.edu/ager03fast.html More
@misc{ ager03fast,
author = "M. Ager and O. Danvy and H. Rohde",
title = "Fast partial evaluation of pattern matching in strings",
text = "Mads Sig Ager, Olivier Danvy, and Henning Korsholm Rohde. Fast partial
evaluation of pattern matching in strings. In Proceedings of the 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/ager03fast.html" }
Citations (may not include all citations):638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993 ACM
347 Fast pattern matching in strings (context) - Knuth, Morris et al. - 1977 DBLP
206 Tutorial notes on partial evaluation (context) - Consel, Danvy - 1993 ACM DBLP
115 Revised report on the algorithmic language Scheme - Kelsey, Clinger et al. - 1998 ACM DBLP
101 A Discipline of Programming (context) - Dijkstra - 1976
37 Partial evaluation of pattern matching in strings - Consel, Danvy - 1989
35 Generalized partial computation (context) - Futamura, Nogi - 1988
26 Partial evaluation of pattern matching in constraint logic p.. (context) - Smith ACM DBLP
22 Constraint-based partial evaluation of rewriting-based funct.. (context) - Lafave, Gallagher - 1997 ACM DBLP
18 Occam's razor in metacomputation: the notion of a perfect pr.. - Gluck, Klimov - 1993
16 Specialization of inductively sequential functional logic pr.. - Alpuente, Falaschi et al. - 1997 ACM DBLP
14 Towards unifying partial evaluation (context) - Srensen, Gluck et al. - 1994
11 Partial evaluation is fuller laziness (context) - Holst, Gomard ACM DBLP
11 Computer Science Department (context) - Bondorf, manual et al. - 1993
10 Binding Time Aspects of Partial Evaluation (context) - Mogensen - 1989
9 Improving programs by the introduction of recursion (context) - Bird - 1977 ACM DBLP
9 Exact string matching algorithms (context) - Charras, Lecroq - 1997
5 Department of Computer Science (context) - Amtoft, Computations et al. - 1993
4 Partial evaluation of pattern matching in strings (context) - Grobauer, Lawall - 2002 ACM DBLP
4 Partial evaluation applied to pattern matching with intellig.. (context) - Queinnec, Ge - 1992
4 Development reuse and the logic program derivation of two st.. (context) - Hernandez, Rosenblueth - 2001
3 ciency of pattern matching algorithms (context) - Colussi - 1991
3 and Pratt's string matcher by partial evaluation (context) - Ager, Danvy et al.
3 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Ba.. (context) - Hudak, Jones - 1991
3 Derivation of a Knuth-Morris-Pratt algorithm by fully lazy p.. (context) - Kaneko, Takeichi - 1993
2 Extended version available as the technical report BRICSRS (context) - --
2 Program transformation system based on generalized partial c.. - Futamura, Konishi et al. - 2002 ACM DBLP
2 Journal of Functional Programming (context) - Srensen, Gluck et al. - 1996
2 ACM SIGPLAN Asian Symposium on Partial Evaluation and Semant.. (context) - Chin - 2002
2 cient string matching algorithms by generalized partial comp.. (context) - Futamura, Konishi et al.
2 Deriving a functional Knuth-MorrisPratt algorithm (context) - Takeichi, Akama - 1990
2 an operational theory of positive information propagation (context) - Srensen, revisited - 1994
1 Glossary for partial evaluation and related topics (context) - Mogensen - 2000 ACM DBLP
Documents on the same site (http://library.readscheme.org/whats_new.html): More
The Structure and Interpretation of the Computer.. - Felleisen.. (2002) (Correct)
Processes vs. User-Level Threads in SCSH - Gasbichler, Sperber (Correct)
XML, XPath, XSLT implementations as SXML, SXPath, and SXSLT - Kiselyov, Lisovsky (Correct)
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