A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq.
Niki VazouLeonidas LampropoulosJeff PolakowPublished in: Haskell (2017)
Keyphrases
- string matching
- theorem prover
- pattern matching
- theorem proving
- programming language
- equational theories
- functional programming
- approximate string matching
- inference rules
- model checking
- first order logic
- suffix array
- approximate matching
- suffix tree
- edit distance
- regular expressions
- exact and approximate
- formal methods
- aho corasick
- pattern matching algorithm
- multi dimensional
- proof search
- object oriented
- data model
- high level
- information retrieval
- machine learning
- database