Translation Correctness for First-Order Object-Oriented Pattern Matching.
Burak EmirQin MaMartin OderskyPublished in: APLAS (2007)
Keyphrases
- pattern matching
- object oriented
- pattern matching algorithm
- matching process
- relational databases
- database applications
- first order logic
- tree matching
- regular expressions
- data model
- machine translation
- string matching
- database schema
- matching strategy
- cross language information retrieval
- query language
- boyer moore
- hamming distance
- bit parallel