Minimal Synthesis of String to String Functions from Examples

Citation

Jad Hamza and Viktor Kunčak. Minimal synthesis of string to string functions from examples. In Verification, Model Checking, and Abstract Interpretation (VMCAI), pages 48--69, 2019.

BibTex Entry

@inproceedings{HamzaKuncak19MinimalSynthesis,
  author = {Jad Hamza and Viktor Kun\v{c}ak},
  title = {Minimal Synthesis of String to String Functions from Examples},
  booktitle = {Verification, Model Checking, and Abstract Interpretation ({VMCAI})},
  pages = {48--69},
  year = {2019},
  doi = {10.1007/978-3-030-11245-5\_3}
}