1 paper · 1 filter
Anvay Grover, Ruediger Ehlers, Loris D'Antoni
Automating string transformations has been one of the killer applications of program synthesis. Existing synthesizers that solve this problem produce programs in domain-specific la…