Synthesis with abstract examples

DOI10.1007/978-3-319-63387-9_13zbMath1494.68056OpenAlexW2735151197MaRDI QIDQ2151254

Eran Yahav, Dana Drachsler-Cohen, Sharon Shoham

Publication date: 1 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-63387-9_13

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Theory exploration powered by deductive synthesis ⋮ Programming by predicates: a formal model for interactive synthesis

This page was built for publication: Synthesis with abstract examples