Playing with patterns, searching for strings

DOI10.1016/0167-6423(89)90001-4zbMath0679.68018OpenAlexW2111161870MaRDI QIDQ1822928

Jaap van der Woude

Publication date: 1989

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(89)90001-4

zbMATH Keywords

periodicitypattern search algorithmprogram construction by ``derivation

Mathematics Subject Classification ID

Searching and sorting (68P10) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (2)

A fast pattern matching algorithm derived by transformational and assertional reasoning ⋮ A sheaf-theoretic approach to pattern matching and related problems

This page was built for publication: Playing with patterns, searching for strings