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.

[ bib | DOI ] Back