Matches in SemOpenAlex for { <https://semopenalex.org/work/W4225518078> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W4225518078 endingPage "211" @default.
- W4225518078 startingPage "197" @default.
- W4225518078 abstract "AbstractProgram synthesis automates the process of writing code, which can be a very useful tool in allowing people to better leverage computational resources. However, a limiting factor in the scalability of current program synthesis techniques is the large size of the search space, especially for complex programs. We present a new model for synthesizing programs which reduces the search space by composing programs from program pieces, which are component functions provided by the user. Our method uses genetic programming search with a fitness function based on refinement type checking, which is a formal verification method that checks function behavior expressed through types. We evaluate our implementation of this method on a set of 3 benchmark problems, observing that our fitness function is able to find solutions in fewer generations than a fitness function that uses example test cases. These results indicate that using refinement types and other formal methods within genetic programming can improve the performance and practicality of program synthesis." @default.
- W4225518078 created "2022-05-05" @default.
- W4225518078 creator A5000646181 @default.
- W4225518078 creator A5042705542 @default.
- W4225518078 creator A5080930904 @default.
- W4225518078 date "2022-01-01" @default.
- W4225518078 modified "2023-09-25" @default.
- W4225518078 title "Synthesizing Programs from Program Pieces Using Genetic Programming and Refinement Type Checking" @default.
- W4225518078 cites W1480909796 @default.
- W4225518078 cites W1484196467 @default.
- W4225518078 cites W1523998349 @default.
- W4225518078 cites W1571917368 @default.
- W4225518078 cites W1579983817 @default.
- W4225518078 cites W1764678 @default.
- W4225518078 cites W1869362176 @default.
- W4225518078 cites W1969232932 @default.
- W4225518078 cites W1972978214 @default.
- W4225518078 cites W1975137540 @default.
- W4225518078 cites W1978661986 @default.
- W4225518078 cites W1991629718 @default.
- W4225518078 cites W2028585812 @default.
- W4225518078 cites W2030792885 @default.
- W4225518078 cites W2062950667 @default.
- W4225518078 cites W2125995229 @default.
- W4225518078 cites W2139143398 @default.
- W4225518078 cites W2295923951 @default.
- W4225518078 cites W2408525833 @default.
- W4225518078 cites W25996711 @default.
- W4225518078 cites W2750952386 @default.
- W4225518078 cites W2949895386 @default.
- W4225518078 cites W2955973312 @default.
- W4225518078 cites W2972926655 @default.
- W4225518078 cites W3022427679 @default.
- W4225518078 cites W3082657317 @default.
- W4225518078 cites W4229675450 @default.
- W4225518078 cites W4230093315 @default.
- W4225518078 cites W4239433846 @default.
- W4225518078 cites W4245220551 @default.
- W4225518078 doi "https://doi.org/10.1007/978-3-031-02056-8_13" @default.
- W4225518078 hasPublicationYear "2022" @default.
- W4225518078 type Work @default.
- W4225518078 citedByCount "0" @default.
- W4225518078 crossrefType "book-chapter" @default.
- W4225518078 hasAuthorship W4225518078A5000646181 @default.
- W4225518078 hasAuthorship W4225518078A5042705542 @default.
- W4225518078 hasAuthorship W4225518078A5080930904 @default.
- W4225518078 hasConcept C110332635 @default.
- W4225518078 hasConcept C111919701 @default.
- W4225518078 hasConcept C119857082 @default.
- W4225518078 hasConcept C13280743 @default.
- W4225518078 hasConcept C153083717 @default.
- W4225518078 hasConcept C154945302 @default.
- W4225518078 hasConcept C176066374 @default.
- W4225518078 hasConcept C185798385 @default.
- W4225518078 hasConcept C199360897 @default.
- W4225518078 hasConcept C205649164 @default.
- W4225518078 hasConcept C2776937632 @default.
- W4225518078 hasConcept C41008148 @default.
- W4225518078 hasConcept C48044578 @default.
- W4225518078 hasConcept C80444323 @default.
- W4225518078 hasConcept C8880873 @default.
- W4225518078 hasConceptScore W4225518078C110332635 @default.
- W4225518078 hasConceptScore W4225518078C111919701 @default.
- W4225518078 hasConceptScore W4225518078C119857082 @default.
- W4225518078 hasConceptScore W4225518078C13280743 @default.
- W4225518078 hasConceptScore W4225518078C153083717 @default.
- W4225518078 hasConceptScore W4225518078C154945302 @default.
- W4225518078 hasConceptScore W4225518078C176066374 @default.
- W4225518078 hasConceptScore W4225518078C185798385 @default.
- W4225518078 hasConceptScore W4225518078C199360897 @default.
- W4225518078 hasConceptScore W4225518078C205649164 @default.
- W4225518078 hasConceptScore W4225518078C2776937632 @default.
- W4225518078 hasConceptScore W4225518078C41008148 @default.
- W4225518078 hasConceptScore W4225518078C48044578 @default.
- W4225518078 hasConceptScore W4225518078C80444323 @default.
- W4225518078 hasConceptScore W4225518078C8880873 @default.
- W4225518078 hasLocation W42255180781 @default.
- W4225518078 hasOpenAccess W4225518078 @default.
- W4225518078 hasPrimaryLocation W42255180781 @default.
- W4225518078 hasRelatedWork W112744582 @default.
- W4225518078 hasRelatedWork W1978661986 @default.
- W4225518078 hasRelatedWork W1986958725 @default.
- W4225518078 hasRelatedWork W1992807924 @default.
- W4225518078 hasRelatedWork W2039071024 @default.
- W4225518078 hasRelatedWork W2135854070 @default.
- W4225518078 hasRelatedWork W2789601449 @default.
- W4225518078 hasRelatedWork W2938727909 @default.
- W4225518078 hasRelatedWork W3088526462 @default.
- W4225518078 hasRelatedWork W4281669782 @default.
- W4225518078 isParatext "false" @default.
- W4225518078 isRetracted "false" @default.
- W4225518078 workType "book-chapter" @default.