A fast pattern matching algorithm derived by transformational and assertional reasoning
type: Item
instance of: scholarly article
title: A fast pattern matching algorithm derived by transformational and assertional reasoning
zbMATH Open document ID: 0697.68025
DOI: 10.1007/BF01888219
author: F. A. Stomp
author: Helmut Partsch
published in: Formal Aspects of Computing
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 4143420
zbMATH Keywords: program transformation
zbMATH Keywords: pattern matching
zbMATH Keywords: transformational programming
zbMATH Keywords: assertional reasoning
MaRDI profile type: Publication
cites work: Formal derivation of a pattern matching algorithm
cites work: A fast string searching algorithm
cites work: Fast Pattern Matching in Strings
cites work: Q3996676
cites work: Playing with patterns, searching for strings
full work available at URL: https://doi.org/10.1007/bf01888219
OpenAlex ID: W1971267380
description: scientific article; zbMATH DE number 4143420