Zobrazeno 1 - 2
of 2
pro vyhledávání: '"PiskacRuzica"'
Publikováno v:
PLDI
Developing modern software typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that synthe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::093bab0903dae3010d70fae762ccd23f
https://doi.org/10.1145/2491956.2462192
https://doi.org/10.1145/2491956.2462192
Publikováno v:
PLDI
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algorithms should behave in a predictable way - they should succeed for a we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a30bc330c30ba57264aac1a43a52288
https://doi.org/10.1145/1806596.1806632
https://doi.org/10.1145/1806596.1806632