Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387667071> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W4387667071 endingPage "2195" @default.
- W4387667071 startingPage "2171" @default.
- W4387667071 abstract "The traditional formulation of the program synthesis problem is to find a program that meets a logical correctness specification. When synthesis is successful, there is a guarantee that the implementation satisfies the specification. Unfortunately, synthesis engines are typically monolithic algorithms, and obscure the correspondence between the specification, implementation and user intent. In contrast, humans often include comments in their code to guide future developers towards the purpose and design of different parts of the codebase. In this paper, we introduce subspecifications as a mechanism to augment the synthesized implementation with explanatory notes of this form. In this model, the user may ask for explanations of different parts of the implementation; the subspecification generated in response is a logical formula that describes the constraints induced on that subexpression by the global specification and surrounding implementation. We develop algorithms to construct and verify subspecifications and investigate their theoretical properties. We perform an experimental evaluation of the subspecification generation procedure, and measure its effectiveness and running time. Finally, we conduct a user study to determine whether subspecifications are useful: we find that subspecifications greatly aid in understanding the global specification, in identifying alternative implementations, and in debugging faulty implementations." @default.
- W4387667071 created "2023-10-17" @default.
- W4387667071 creator A5000188805 @default.
- W4387667071 creator A5024988696 @default.
- W4387667071 creator A5049102607 @default.
- W4387667071 creator A5050507709 @default.
- W4387667071 creator A5071990262 @default.
- W4387667071 date "2023-10-16" @default.
- W4387667071 modified "2023-10-17" @default.
- W4387667071 title "Explainable Program Synthesis by Localizing Specifications" @default.
- W4387667071 cites W1791762382 @default.
- W4387667071 cites W1858945639 @default.
- W4387667071 cites W1967525886 @default.
- W4387667071 cites W2012312630 @default.
- W4387667071 cites W2013596093 @default.
- W4387667071 cites W2032189196 @default.
- W4387667071 cites W2093535699 @default.
- W4387667071 cites W2094878426 @default.
- W4387667071 cites W2126385963 @default.
- W4387667071 cites W2129559874 @default.
- W4387667071 cites W2134734244 @default.
- W4387667071 cites W2144951274 @default.
- W4387667071 cites W2149236697 @default.
- W4387667071 cites W2152924401 @default.
- W4387667071 cites W2157922094 @default.
- W4387667071 cites W2282821441 @default.
- W4387667071 cites W2295107390 @default.
- W4387667071 cites W2496170334 @default.
- W4387667071 cites W2752382195 @default.
- W4387667071 cites W2761958682 @default.
- W4387667071 cites W2883187296 @default.
- W4387667071 cites W2891503716 @default.
- W4387667071 cites W2964240296 @default.
- W4387667071 cites W3021941048 @default.
- W4387667071 cites W3094252362 @default.
- W4387667071 cites W3094268141 @default.
- W4387667071 cites W3117137355 @default.
- W4387667071 cites W3146371897 @default.
- W4387667071 cites W3162444510 @default.
- W4387667071 cites W3167083555 @default.
- W4387667071 cites W3174357804 @default.
- W4387667071 cites W4237412827 @default.
- W4387667071 doi "https://doi.org/10.1145/3622874" @default.
- W4387667071 hasPublicationYear "2023" @default.
- W4387667071 type Work @default.
- W4387667071 citedByCount "0" @default.
- W4387667071 crossrefType "journal-article" @default.
- W4387667071 hasAuthorship W4387667071A5000188805 @default.
- W4387667071 hasAuthorship W4387667071A5024988696 @default.
- W4387667071 hasAuthorship W4387667071A5049102607 @default.
- W4387667071 hasAuthorship W4387667071A5050507709 @default.
- W4387667071 hasAuthorship W4387667071A5071990262 @default.
- W4387667071 hasBestOaLocation W43876670711 @default.
- W4387667071 hasConcept C168065819 @default.
- W4387667071 hasConcept C177264268 @default.
- W4387667071 hasConcept C199360897 @default.
- W4387667071 hasConcept C26713055 @default.
- W4387667071 hasConcept C2776760102 @default.
- W4387667071 hasConcept C2776937632 @default.
- W4387667071 hasConcept C2780801425 @default.
- W4387667071 hasConcept C41008148 @default.
- W4387667071 hasConcept C43126263 @default.
- W4387667071 hasConcept C51929080 @default.
- W4387667071 hasConcept C55439883 @default.
- W4387667071 hasConcept C80444323 @default.
- W4387667071 hasConceptScore W4387667071C168065819 @default.
- W4387667071 hasConceptScore W4387667071C177264268 @default.
- W4387667071 hasConceptScore W4387667071C199360897 @default.
- W4387667071 hasConceptScore W4387667071C26713055 @default.
- W4387667071 hasConceptScore W4387667071C2776760102 @default.
- W4387667071 hasConceptScore W4387667071C2776937632 @default.
- W4387667071 hasConceptScore W4387667071C2780801425 @default.
- W4387667071 hasConceptScore W4387667071C41008148 @default.
- W4387667071 hasConceptScore W4387667071C43126263 @default.
- W4387667071 hasConceptScore W4387667071C51929080 @default.
- W4387667071 hasConceptScore W4387667071C55439883 @default.
- W4387667071 hasConceptScore W4387667071C80444323 @default.
- W4387667071 hasFunder F4320306076 @default.
- W4387667071 hasIssue "OOPSLA2" @default.
- W4387667071 hasLocation W43876670711 @default.
- W4387667071 hasOpenAccess W4387667071 @default.
- W4387667071 hasPrimaryLocation W43876670711 @default.
- W4387667071 hasRelatedWork W1547567140 @default.
- W4387667071 hasRelatedWork W1667647204 @default.
- W4387667071 hasRelatedWork W2404647514 @default.
- W4387667071 hasRelatedWork W2605195990 @default.
- W4387667071 hasRelatedWork W2772436979 @default.
- W4387667071 hasRelatedWork W3008339103 @default.
- W4387667071 hasRelatedWork W3119814709 @default.
- W4387667071 hasRelatedWork W4210714572 @default.
- W4387667071 hasRelatedWork W4321442002 @default.
- W4387667071 hasRelatedWork W58529227 @default.
- W4387667071 hasVolume "7" @default.
- W4387667071 isParatext "false" @default.
- W4387667071 isRetracted "false" @default.
- W4387667071 workType "article" @default.