Formal Derivation of a Pattern Matching Algorithm

Formal Derivation of a Pattern Matching Algorithm

Show other versions (2)

Bibliographic Details
Main Authors:	Bird, R, Gibbons, J, Jones, G
Format:	Journal article
Published:	1989

Similar Items

FORMAL DERIVATION OF A PATTERN-MATCHING ALGORITHM
by: Bird, R, et al.
Published: (1989)

Formal Derivation of a Pattern Matching Algorithm
by: Bird, R, et al.
Published: (1989)

Formalizing Randomized Matching Algorithms
by: Dai Tri Man Le, et al.
Published: (2012-08-01)

Two−Dimensional Pattern Matching
by: Bird, R
Published: (1977)

Refactoring pattern matching
by: Wang, M, et al.
Published: (2013)

Refactoring Pattern Matching
by: Wang, M, et al.
Published: (2012)

A study on pattern matching algorithms
by: Ng, Kee Wan.
Published: (2008)

Accelerating Pattern Matching Using a Novel Multi-Pattern-Matching Algorithm on GPU
by: Merve Çelebi, et al.
Published: (2023-07-01)

An Introduction to the Bird−Meertens Formalism
by: Gibbons, J
Published: (1994)

Gradual Refinement: Blending Pattern Matching with Data Abstraction
by: Wang, M, et al.
Published: (2010)

Gradual Refinement Blending Pattern Matching with Data Abstraction
by: Wang, M, et al.
Published: (2010)

A Formal Development of an Efficient Supercombinator Compiler
by: Bird, R
Published: (1987)

Formal Methods for Future Interoperability
by: Davies, J, et al.
Published: (2009)

Formal Methods for Electronic Government
by: Davies, J, et al.
Published: (2008)

Formal methods for future interoperability
by: Davies, J, et al.
Published: (2009)

Matching a Trope Ontology to the Basic Formal Ontology
by: Richard de Rozario
Published: (2019-07-01)

The school of Squiggol: A history of the Bird-Meertens formalism
by: Gibbons, J
Published: (2020)

Four formal(izable) theories of the firm?
by: Gibbons, Robert
Published: (2011)

Comparison of pattern matching algorithm for enhancing snort performance /
by: Abubakar Abdulkadir, 1982-, et al.
Published: (2013)

Comparison of pattern matching algorithm for enhancing snort performance
by: Abdulkadir, Abubakar
Published: (2013)

Pattern Matching in YARA: Improved Aho-Corasick Algorithm
by: Dominika Regeciova, et al.
Published: (2021-01-01)

Exploring a Self-Replication Algorithm to Flexibly Match Patterns
by: Paul Leger, et al.
Published: (2024-01-01)

Polymorphic String Matching
by: Bird, R
Published: (2005)

Design patterns formalization techniques /
by: Taibi, Toufik, 1969-
Published: (2007)

Knowledge formalization for vector data matching using belief theory
by: Ana-Maria Olteanu-Raimond, et al.
Published: (2015-06-01)

An Improved Order-Preserving Pattern Matching Algorithm Using Fingerprints
by: Youngjoon Kim, et al.
Published: (2022-06-01)

A generalized template matching algorithm for pictorial pattern recognition / [mikrofilem]
by: 335597 Gardner, Steven Ray

Program Optimisation‚ Naturally
by: Bird, R, et al.
Published: (2000)

Program Optimisation‚ Naturally
by: Bird, R, et al.
Published: (2000)

A Formalization of Agree as a Derivational Operation
by: Daniel Milway
Published: (2023-02-01)

Analyzing pattern matching algorithms applied on snort intrusion detection system /
by: Abdifatah Abdirahman Abdullahi, 1986-, et al.
Published: (2013)

Comparison of pattern matching algorithm for enhancing snort performance [electronic resource] /
by: Abubakar Abdulkadir, 1982-
Published: (2013)

Analyzing pattern matching algorithms applied on snort intrusion detection system
by: Abdullahi, Abdifatah Abdirahman
Published: (2013)

Combinatorial pattern matching algorithms in computational biology using Perl and R /
by: Valiente, Gabriel, 1963-
Published: (2009)

Two-Phase PFAC Algorithm for Multiple Patterns Matching on CUDA GPUs
by: Wei-Shen Lai, et al.
Published: (2019-03-01)

Structural relation matching: an algorithm to identify structural patterns into RNAs and their interactions
by: Quadrini Michela
Published: (2021-05-01)

Formal derivation of concurrent garbage collectors
by: Pavlovic, D, et al.
Published: (2010)

S−Match: an Algorithm and an Implementation of Semantic Matching
by: Shvaiko, M
Published: (2004)

Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating−Point Unit
by: Gibbons, J
Published: (1993)

On the formal specification and verification of network routing algorithms
by: Davies, J, et al.
Published: (1994)