Formal derivation of a pattern matching algorithm

DOI10.1016/0167-6423(89)90036-1MaRDI QIDQ1822923zbMATH OpenOpenAlexFDO

Authors Richard S. Bird, Jeremy Gibbons, Geraint Jones

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)90036-1

zbMATH Keywords

functional programmingpattern matchingprogram derivationlists

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Algorithms in computer science (68W99)

Recommendations

• A fast pattern matching algorithm derived by transformational and assertional reasoning
• scientific article; zbMATH DE number 30308
• Playing with patterns, searching for strings
• Derivation of a parallel string matching algorithm
• On string pattern matching: A quantitative analysis and a proposal

Cited in

(10)

• scientific article; zbMATH DE number 1822176 (Why is no real title available?)
• A sheaf-theoretic approach to pattern matching and related problems
• Playing with patterns, searching for strings
• The derivation of on-line algorithms, with an application to finding palindromes
• A fast pattern matching algorithm derived by transformational and assertional reasoning
• List partitions
• Formal Techniques for Deriving Binary Search Algorithms
• Categories, relations and dynamic programming
• Proof of Correctness of a Direct Construction of DFA from Regular Expression
• Derivation of efficient logic programs by specialization and reduction of nondeterminism

This page was built for publication: Formal derivation of a pattern matching algorithm

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