ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti.
Raphaël CauderlierCatherine DuboisPublished in: ICTAC (2016)
Keyphrases
- pattern matching
- datalog programs
- maximum likelihood
- deductive databases
- pattern matching algorithm
- conjunctive queries
- regular expressions
- matching process
- hamming distance
- boyer moore
- string matching
- graph matching
- information extraction
- multiresolution
- matching strategy
- tree matching
- database systems
- bit parallel
- databases