Login / Signup

Minimal Synthesis of String to String Functions from Examples.

Jad HamzaViktor Kuncak
Published in: VMCAI (2019)
Keyphrases
  • pattern matching
  • data structure
  • regular expressions
  • string matching
  • edit distance
  • suffix tree
  • neural network
  • information systems
  • approximate string matching
  • real time
  • lower bound