Formal derivation of a pattern matching algorithm
- 31 July 1989
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 12 (2) , 93-104
- https://doi.org/10.1016/0167-6423(89)90036-1
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- An Introduction to the Theory of ListsPublished by Springer Nature ,1987
- Tabulation Techniques for Recursive ProgramsACM Computing Surveys, 1980
- Fast Pattern Matching in StringsSIAM Journal on Computing, 1977