Formal derivation of a pattern matching algorithm
type: Item
instance of: scholarly article
title: Formal derivation of a pattern matching algorithm
zbMATH Open document ID: 0679.68011
DOI: 10.1016/0167-6423(89)90036-1
published in: Science of Computer Programming
publication date: 1989-01-01T00:00:00Z
review text: The functional version of the Knuth-Morris-Pratt pattern matching algorithm is formally derived using the Bird's calculus of lists. The derivation process is thoroughly explained, various solving strategies are discussed, the paper is self-contained.
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68W99
zbMATH DE Number: 4113937
zbMATH Keywords: functional programming
zbMATH Keywords: program derivation
zbMATH Keywords: pattern matching
zbMATH Keywords: lists
author: Richard S. Bird
author: Jeremy Gibbons
author: Geraint Jones
reviewed by: Luboš Brim
MaRDI profile type: Publication
full work available at URL: 0167-6423(89)90036-1
OpenAlex ID: W2020938542
description: scientific article; zbMATH DE number 4113937