Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition.
Hubert GaravelMohammad-Ali TabikhImad-Seddik ArradaPublished in: WRLA@ETAPS (2018)
Keyphrases
- pattern matching
- term rewriting
- object oriented languages
- theorem proving
- object oriented
- theorem prover
- operational semantics
- object oriented databases
- object oriented programming
- rewrite systems
- pattern matching algorithm
- matching process
- regular expressions
- string matching
- suffix tree
- first order logic
- approximate pattern matching
- database
- formal semantics
- relational databases
- database systems
- knowledge base