Matches in SemOpenAlex for { <https://semopenalex.org/work/W2339517534> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2339517534 abstract "We present the first formal proof that partial evaluation of a quadratic string matcher can yield the precise behaviour of Knuth, Morris, and Pratt's linear string matcher.<br /> <br />Obtaining a KMP-like string matcher is a canonical example of partial evaluation: starting from the naive, quadratic program checking whether a pattern occurs in a text, one ensures that backtracking can be performed at partial-evaluation time (a binding-time shift that yields a staged string matcher); specializing the resulting staged program yields residual programs that do not back up on the text, a la KMP. We are not aware, however, of any formal proof that partial evaluation of a staged string matcher precisely yields the KMP string matcher, or in fact any other specific string matcher.<br /> <br />In this article, we present a staged string matcher and we formally prove that it performs the same sequence of comparisons between pattern and text as the KMP string matcher. To this end, we operationally specify each of the programming languages in which the matchers are written, and we formalize each sequence of comparisons with a trace semantics. We also state the (mild) conditions under which specializing the staged string matcher with respect to a pattern string provably yields a specialized string matcher whose size is proportional to the length of this pattern string and whose time complexity is proportional to the length of the text string. Finally, we show how tabulating one of the functions in this staged string matcher gives rise to the `next' table of the original KMP algorithm.<br /> <br />The method scales for obtaining other linear string matchers, be they known or new." @default.
- W2339517534 created "2016-06-24" @default.
- W2339517534 creator A5016621051 @default.
- W2339517534 creator A5060997849 @default.
- W2339517534 creator A5061660686 @default.
- W2339517534 date "2002-07-05" @default.
- W2339517534 modified "2023-10-17" @default.
- W2339517534 title "On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation" @default.
- W2339517534 doi "https://doi.org/10.7146/brics.v9i32.21747" @default.
- W2339517534 hasPublicationYear "2002" @default.
- W2339517534 type Work @default.
- W2339517534 sameAs 2339517534 @default.
- W2339517534 citedByCount "1" @default.
- W2339517534 crossrefType "journal-article" @default.
- W2339517534 hasAuthorship W2339517534A5016621051 @default.
- W2339517534 hasAuthorship W2339517534A5060997849 @default.
- W2339517534 hasAuthorship W2339517534A5061660686 @default.
- W2339517534 hasBestOaLocation W23395175341 @default.
- W2339517534 hasConcept C11413529 @default.
- W2339517534 hasConcept C114614502 @default.
- W2339517534 hasConcept C138885662 @default.
- W2339517534 hasConcept C157486923 @default.
- W2339517534 hasConcept C195701839 @default.
- W2339517534 hasConcept C199360897 @default.
- W2339517534 hasConcept C33923547 @default.
- W2339517534 hasConcept C37914503 @default.
- W2339517534 hasConcept C41008148 @default.
- W2339517534 hasConcept C41895202 @default.
- W2339517534 hasConcept C68859911 @default.
- W2339517534 hasConcept C75291252 @default.
- W2339517534 hasConcept C7757238 @default.
- W2339517534 hasConcept C80444323 @default.
- W2339517534 hasConceptScore W2339517534C11413529 @default.
- W2339517534 hasConceptScore W2339517534C114614502 @default.
- W2339517534 hasConceptScore W2339517534C138885662 @default.
- W2339517534 hasConceptScore W2339517534C157486923 @default.
- W2339517534 hasConceptScore W2339517534C195701839 @default.
- W2339517534 hasConceptScore W2339517534C199360897 @default.
- W2339517534 hasConceptScore W2339517534C33923547 @default.
- W2339517534 hasConceptScore W2339517534C37914503 @default.
- W2339517534 hasConceptScore W2339517534C41008148 @default.
- W2339517534 hasConceptScore W2339517534C41895202 @default.
- W2339517534 hasConceptScore W2339517534C68859911 @default.
- W2339517534 hasConceptScore W2339517534C75291252 @default.
- W2339517534 hasConceptScore W2339517534C7757238 @default.
- W2339517534 hasConceptScore W2339517534C80444323 @default.
- W2339517534 hasIssue "32" @default.
- W2339517534 hasLocation W23395175341 @default.
- W2339517534 hasOpenAccess W2339517534 @default.
- W2339517534 hasPrimaryLocation W23395175341 @default.
- W2339517534 hasRelatedWork W2120984277 @default.
- W2339517534 hasRelatedWork W2277058918 @default.
- W2339517534 hasRelatedWork W2316568429 @default.
- W2339517534 hasRelatedWork W2351800092 @default.
- W2339517534 hasRelatedWork W2359478580 @default.
- W2339517534 hasRelatedWork W2367039694 @default.
- W2339517534 hasRelatedWork W2563743352 @default.
- W2339517534 hasRelatedWork W2883552839 @default.
- W2339517534 hasRelatedWork W2992435777 @default.
- W2339517534 hasRelatedWork W4323060013 @default.
- W2339517534 hasVolume "9" @default.
- W2339517534 isParatext "false" @default.
- W2339517534 isRetracted "false" @default.
- W2339517534 magId "2339517534" @default.
- W2339517534 workType "article" @default.