Login / Signup

Formal validation of pattern matching code.

Claude KirchnerPierre-Etienne MoreauAntoine Reilles
Published in: PPDP (2005)
Keyphrases
  • pattern matching
  • source code
  • matching process
  • regular expressions
  • string matching
  • compressed text
  • tree matching
  • pattern matching algorithm
  • boyer moore
  • databases
  • relational databases
  • n gram
  • bit parallel