Minimal synthesis of string to string functions from examples

DOI10.1007/978-3-030-11245-5_3OpenAlexW2963385440MaRDI QIDQ2287070

Jad Hamza, Viktor Kuncak

Publication date: 23 January 2020

Full work available at URL: https://arxiv.org/abs/1710.09208

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Minimal synthesis of string to string functions from examples