Correctness and efficiency of pattern matching algorithms

Fast Pattern Matching in Strings

Donald E. Knuth, James H. Morris, Vaughan Pratt · SIAM Journal on Computing · 1977 · 2.9K citations

Engineering, Computational Complexity, Corpus Linguistics +19

A fast string searching algorithm

Robert S. Boyer, J Strother Moore · Communications of the ACM · 1977 · 2.3K citations · Full text

Average Behavior, Engineering, Information Retrieval +15

An axiomatic definition of the programming language PASCAL

C. A. R. Hoare, Niklaus Wirth · Acta Informatica · 1973 · 455 citations · Full text

Programming Language Theory, Declarative Programming, Engineering +7

A New Proof of the Linearity of the Boyer-Moore String Searching Algorithm

Leo J. Guibas, Andrew Odlyzko · SIAM Journal on Computing · 1980 · 54 citations

Combinatorics On Word, Engineering, String-searching Algorithm +12

Saving Space in Fast String-Matching

Zvi Galil, Joel Seiferas · SIAM Journal on Computing · 1980 · 31 citations

String-matching Problem, Engineering, Contiguous Substrings +18