Matches in SemOpenAlex for { <https://semopenalex.org/work/W1905591175> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1905591175 endingPage "950" @default.
- W1905591175 startingPage "934" @default.
- W1905591175 abstract "Input-output examples are a simple and accessible way of describing program behaviour. Program synthesis from input-output examples has the potential of extending the range of computational tasks achievable by end-users who have no programming knowledge, but can articulate their desired computations by describing input-output behaviour. In this paper, we present Escher, a generic and efficient algorithm that interacts with the user via input-output examples, and synthesizes recursive programs implementing intended behaviour. Escher is parameterized by the components (instructions) that can be used in the program, thus providing a generic synthesis algorithm that can be instantiated to suit different domains. To search through the space of programs, Escher adopts a novel search strategy that utilizes special data structures for inferring conditionals and synthesizing recursive procedures. Our experimental evaluation of Escher demonstrates its ability to efficiently synthesize a wide range of programs, manipulating integers, lists, and trees. Moreover, we show that Escher outperforms a state-of-the-art SAT-based synthesis tool from the literature." @default.
- W1905591175 created "2016-06-24" @default.
- W1905591175 creator A5011543162 @default.
- W1905591175 creator A5041698482 @default.
- W1905591175 creator A5050593520 @default.
- W1905591175 date "2013-01-01" @default.
- W1905591175 modified "2023-10-17" @default.
- W1905591175 title "Recursive Program Synthesis" @default.
- W1905591175 cites W1583199978 @default.
- W1905591175 cites W2009207944 @default.
- W1905591175 cites W2012436850 @default.
- W1905591175 cites W2022879002 @default.
- W1905591175 cites W2040127143 @default.
- W1905591175 cites W2065394549 @default.
- W1905591175 cites W2076242896 @default.
- W1905591175 cites W2115007594 @default.
- W1905591175 cites W2122054842 @default.
- W1905591175 cites W2132525863 @default.
- W1905591175 cites W2134734244 @default.
- W1905591175 cites W2142126234 @default.
- W1905591175 cites W2162960800 @default.
- W1905591175 cites W2164611950 @default.
- W1905591175 cites W2997049506 @default.
- W1905591175 doi "https://doi.org/10.1007/978-3-642-39799-8_67" @default.
- W1905591175 hasPublicationYear "2013" @default.
- W1905591175 type Work @default.
- W1905591175 sameAs 1905591175 @default.
- W1905591175 citedByCount "92" @default.
- W1905591175 countsByYear W19055911752014 @default.
- W1905591175 countsByYear W19055911752015 @default.
- W1905591175 countsByYear W19055911752016 @default.
- W1905591175 countsByYear W19055911752017 @default.
- W1905591175 countsByYear W19055911752018 @default.
- W1905591175 countsByYear W19055911752019 @default.
- W1905591175 countsByYear W19055911752020 @default.
- W1905591175 countsByYear W19055911752021 @default.
- W1905591175 countsByYear W19055911752022 @default.
- W1905591175 countsByYear W19055911752023 @default.
- W1905591175 crossrefType "book-chapter" @default.
- W1905591175 hasAuthorship W1905591175A5011543162 @default.
- W1905591175 hasAuthorship W1905591175A5041698482 @default.
- W1905591175 hasAuthorship W1905591175A5050593520 @default.
- W1905591175 hasBestOaLocation W19055911751 @default.
- W1905591175 hasConcept C111472728 @default.
- W1905591175 hasConcept C11413529 @default.
- W1905591175 hasConcept C138885662 @default.
- W1905591175 hasConcept C159985019 @default.
- W1905591175 hasConcept C165464430 @default.
- W1905591175 hasConcept C192562407 @default.
- W1905591175 hasConcept C199360897 @default.
- W1905591175 hasConcept C204323151 @default.
- W1905591175 hasConcept C2776937632 @default.
- W1905591175 hasConcept C2779618335 @default.
- W1905591175 hasConcept C2780586882 @default.
- W1905591175 hasConcept C41008148 @default.
- W1905591175 hasConcept C80444323 @default.
- W1905591175 hasConceptScore W1905591175C111472728 @default.
- W1905591175 hasConceptScore W1905591175C11413529 @default.
- W1905591175 hasConceptScore W1905591175C138885662 @default.
- W1905591175 hasConceptScore W1905591175C159985019 @default.
- W1905591175 hasConceptScore W1905591175C165464430 @default.
- W1905591175 hasConceptScore W1905591175C192562407 @default.
- W1905591175 hasConceptScore W1905591175C199360897 @default.
- W1905591175 hasConceptScore W1905591175C204323151 @default.
- W1905591175 hasConceptScore W1905591175C2776937632 @default.
- W1905591175 hasConceptScore W1905591175C2779618335 @default.
- W1905591175 hasConceptScore W1905591175C2780586882 @default.
- W1905591175 hasConceptScore W1905591175C41008148 @default.
- W1905591175 hasConceptScore W1905591175C80444323 @default.
- W1905591175 hasLocation W19055911751 @default.
- W1905591175 hasOpenAccess W1905591175 @default.
- W1905591175 hasPrimaryLocation W19055911751 @default.
- W1905591175 hasRelatedWork W2013111119 @default.
- W1905591175 hasRelatedWork W2112962394 @default.
- W1905591175 hasRelatedWork W2118300983 @default.
- W1905591175 hasRelatedWork W2357085366 @default.
- W1905591175 hasRelatedWork W2382501300 @default.
- W1905591175 hasRelatedWork W3137189469 @default.
- W1905591175 hasRelatedWork W3162240892 @default.
- W1905591175 hasRelatedWork W4235530921 @default.
- W1905591175 hasRelatedWork W4243252198 @default.
- W1905591175 hasRelatedWork W4245713008 @default.
- W1905591175 isParatext "false" @default.
- W1905591175 isRetracted "false" @default.
- W1905591175 magId "1905591175" @default.
- W1905591175 workType "book-chapter" @default.