Reflexive toolbox for regular expression matching: verification of functional programs in Coq+Ssreflect.
Vladimir KomendantskyPublished in: PLPV (2012)
Keyphrases
- regular expressions
- functional programs
- pattern matching
- approximate matching
- matching algorithm
- string matching
- term rewriting systems
- formal methods
- semistructured data
- functional language
- query language
- logic programs
- xml schema
- database
- cost model
- semistructured databases
- edit distance
- approximate string matching
- query evaluation
- model checking
- programming language
- database systems
- artificial intelligence