Minimal Synthesis of String to String Functions from Examples

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-11245-5_3 ◽

2019 ◽

pp. 48-69 ◽

Cited By ~ 1

Author(s):

Jad Hamza ◽

Viktor Kunčak

Download Full-text