Login / Signup

Pattern matching coverage checking with dependent types using set approximations.

Nicolas Oury
Published in: PLPV (2007)
Keyphrases
  • pattern matching
  • tree matching
  • regular expressions
  • graph matching
  • hamming distance
  • search engine
  • search algorithm
  • pattern matching algorithm