Matches in SemOpenAlex for { <https://semopenalex.org/work/W2805663959> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2805663959 abstract "Program synthesis is the process of automatically translating a specification into computer code. Traditional synthesis settings require a formal, precise specification. Motivated by computer education applications where a student learns to code simple turtle-style drawing programs, we study a novel synthesis setting where only a noisy user-intention drawing is specified. This allows students to sketch their intended output, optionally together with their own incomplete program, to automatically produce a completed program. We formulate this synthesis problem as search in the space of programs, with the score of a state being the Hausdorff distance between the program output and the user drawing. We compare several search algorithms on a corpus consisting of real user drawings and the corresponding programs, and demonstrate that our algorithms can synthesize programs optimally satisfying the specification." @default.
- W2805663959 created "2018-06-13" @default.
- W2805663959 creator A5037273848 @default.
- W2805663959 creator A5068386240 @default.
- W2805663959 creator A5083003591 @default.
- W2805663959 date "2018-06-04" @default.
- W2805663959 modified "2023-09-26" @default.
- W2805663959 title "Program Synthesis from Visual Specification." @default.
- W2805663959 cites W2511174833 @default.
- W2805663959 cites W2559911651 @default.
- W2805663959 cites W2601273560 @default.
- W2805663959 hasPublicationYear "2018" @default.
- W2805663959 type Work @default.
- W2805663959 sameAs 2805663959 @default.
- W2805663959 citedByCount "0" @default.
- W2805663959 crossrefType "posted-content" @default.
- W2805663959 hasAuthorship W2805663959A5037273848 @default.
- W2805663959 hasAuthorship W2805663959A5068386240 @default.
- W2805663959 hasAuthorship W2805663959A5083003591 @default.
- W2805663959 hasConcept C11413529 @default.
- W2805663959 hasConcept C177264268 @default.
- W2805663959 hasConcept C199360897 @default.
- W2805663959 hasConcept C2776760102 @default.
- W2805663959 hasConcept C2776937632 @default.
- W2805663959 hasConcept C2779231336 @default.
- W2805663959 hasConcept C41008148 @default.
- W2805663959 hasConcept C80444323 @default.
- W2805663959 hasConcept C98045186 @default.
- W2805663959 hasConceptScore W2805663959C11413529 @default.
- W2805663959 hasConceptScore W2805663959C177264268 @default.
- W2805663959 hasConceptScore W2805663959C199360897 @default.
- W2805663959 hasConceptScore W2805663959C2776760102 @default.
- W2805663959 hasConceptScore W2805663959C2776937632 @default.
- W2805663959 hasConceptScore W2805663959C2779231336 @default.
- W2805663959 hasConceptScore W2805663959C41008148 @default.
- W2805663959 hasConceptScore W2805663959C80444323 @default.
- W2805663959 hasConceptScore W2805663959C98045186 @default.
- W2805663959 hasLocation W28056639591 @default.
- W2805663959 hasOpenAccess W2805663959 @default.
- W2805663959 hasPrimaryLocation W28056639591 @default.
- W2805663959 hasRelatedWork W1564032816 @default.
- W2805663959 hasRelatedWork W163116641 @default.
- W2805663959 hasRelatedWork W1800986026 @default.
- W2805663959 hasRelatedWork W2000380406 @default.
- W2805663959 hasRelatedWork W2002981330 @default.
- W2805663959 hasRelatedWork W2509250102 @default.
- W2805663959 hasRelatedWork W2620734966 @default.
- W2805663959 hasRelatedWork W2901618102 @default.
- W2805663959 hasRelatedWork W86365641 @default.
- W2805663959 hasRelatedWork W1494666946 @default.
- W2805663959 hasRelatedWork W1907915194 @default.
- W2805663959 hasRelatedWork W2182087565 @default.
- W2805663959 hasRelatedWork W2780461622 @default.
- W2805663959 hasRelatedWork W2826091417 @default.
- W2805663959 hasRelatedWork W2828659769 @default.
- W2805663959 hasRelatedWork W2841253413 @default.
- W2805663959 hasRelatedWork W2850752656 @default.
- W2805663959 hasRelatedWork W2851293391 @default.
- W2805663959 hasRelatedWork W2857534120 @default.
- W2805663959 hasRelatedWork W291215828 @default.
- W2805663959 isParatext "false" @default.
- W2805663959 isRetracted "false" @default.
- W2805663959 magId "2805663959" @default.
- W2805663959 workType "article" @default.