Playing with patterns, searching for strings

DOI10.1016/0167-6423(89)90001-4MaRDI QIDQ1822928zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 1822176
• Formal derivation of a pattern matching algorithm
• scientific article; zbMATH DE number 1484005
• Algorithms for pattern matching
• scientific article; zbMATH DE number 1045407

Cited in

(4)

• A sheaf-theoretic approach to pattern matching and related problems
• Finding Gale strings
• Formal derivation of a pattern matching algorithm
• A fast pattern matching algorithm derived by transformational and assertional reasoning

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1822928)