Matches in SemOpenAlex for { <https://semopenalex.org/work/W4380757966> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W4380757966 endingPage "103962" @default.
- W4380757966 startingPage "103962" @default.
- W4380757966 abstract "Program synthesis aims to automatically find programs from an underlying programming language that satisfy a given specification. While this has the potential to revolutionize computing, how to search over the vast space of programs efficiently is an unsolved challenge in program synthesis. In cases where large programs are required for a solution, it is generally believed that stochastic search has advantages over other classes of search techniques. Unfortunately, existing stochastic program synthesizers do not meet this expectation very well, suffering from the scalability issue. To overcome this problem, we propose a new framework for stochastic program synthesis, called iterative genetic improvement. The key idea is to apply genetic improvement to improve a current reference program, and then iteratively replace the reference program by the best program found. Compared to traditional stochastic synthesis approaches, iterative genetic improvement can build up the complexity of programs incrementally in a more robust way. We evaluate the approach on two program synthesis domains: list manipulation and string transformation, along with a number of general program synthesis problems. Our empirical results indicate that this method has considerable advantages over several representative stochastic program synthesizer techniques, both in terms of scalability and of solution quality." @default.
- W4380757966 created "2023-06-16" @default.
- W4380757966 creator A5004837138 @default.
- W4380757966 creator A5011540763 @default.
- W4380757966 date "2023-09-01" @default.
- W4380757966 modified "2023-09-27" @default.
- W4380757966 title "Iterative genetic improvement: Scaling stochastic program synthesis" @default.
- W4380757966 cites W1522440472 @default.
- W4380757966 cites W1980199047 @default.
- W4380757966 cites W1983770999 @default.
- W4380757966 cites W1984074188 @default.
- W4380757966 cites W1995258570 @default.
- W4380757966 cites W2012436850 @default.
- W4380757966 cites W2027649639 @default.
- W4380757966 cites W2037343293 @default.
- W4380757966 cites W2058919894 @default.
- W4380757966 cites W2078889207 @default.
- W4380757966 cites W2105306314 @default.
- W4380757966 cites W2115007594 @default.
- W4380757966 cites W2132196970 @default.
- W4380757966 cites W2132304387 @default.
- W4380757966 cites W2132525863 @default.
- W4380757966 cites W2136414484 @default.
- W4380757966 cites W2145373440 @default.
- W4380757966 cites W2250708368 @default.
- W4380757966 cites W2296218809 @default.
- W4380757966 cites W2608579592 @default.
- W4380757966 cites W2762513422 @default.
- W4380757966 cites W2768510408 @default.
- W4380757966 cites W2799953961 @default.
- W4380757966 cites W2901330051 @default.
- W4380757966 cites W2963909831 @default.
- W4380757966 cites W3012626099 @default.
- W4380757966 cites W3109066900 @default.
- W4380757966 cites W3117975267 @default.
- W4380757966 cites W4206647573 @default.
- W4380757966 cites W4229675450 @default.
- W4380757966 cites W4241222526 @default.
- W4380757966 cites W4299968636 @default.
- W4380757966 doi "https://doi.org/10.1016/j.artint.2023.103962" @default.
- W4380757966 hasPublicationYear "2023" @default.
- W4380757966 type Work @default.
- W4380757966 citedByCount "0" @default.
- W4380757966 crossrefType "journal-article" @default.
- W4380757966 hasAuthorship W4380757966A5004837138 @default.
- W4380757966 hasAuthorship W4380757966A5011540763 @default.
- W4380757966 hasBestOaLocation W43807579662 @default.
- W4380757966 hasConcept C110332635 @default.
- W4380757966 hasConcept C126255220 @default.
- W4380757966 hasConcept C154945302 @default.
- W4380757966 hasConcept C157486923 @default.
- W4380757966 hasConcept C2776937632 @default.
- W4380757966 hasConcept C2778361913 @default.
- W4380757966 hasConcept C33923547 @default.
- W4380757966 hasConcept C37914503 @default.
- W4380757966 hasConcept C41008148 @default.
- W4380757966 hasConcept C48044578 @default.
- W4380757966 hasConcept C77088390 @default.
- W4380757966 hasConcept C80444323 @default.
- W4380757966 hasConceptScore W4380757966C110332635 @default.
- W4380757966 hasConceptScore W4380757966C126255220 @default.
- W4380757966 hasConceptScore W4380757966C154945302 @default.
- W4380757966 hasConceptScore W4380757966C157486923 @default.
- W4380757966 hasConceptScore W4380757966C2776937632 @default.
- W4380757966 hasConceptScore W4380757966C2778361913 @default.
- W4380757966 hasConceptScore W4380757966C33923547 @default.
- W4380757966 hasConceptScore W4380757966C37914503 @default.
- W4380757966 hasConceptScore W4380757966C41008148 @default.
- W4380757966 hasConceptScore W4380757966C48044578 @default.
- W4380757966 hasConceptScore W4380757966C77088390 @default.
- W4380757966 hasConceptScore W4380757966C80444323 @default.
- W4380757966 hasFunder F4320310016 @default.
- W4380757966 hasLocation W43807579661 @default.
- W4380757966 hasLocation W43807579662 @default.
- W4380757966 hasOpenAccess W4380757966 @default.
- W4380757966 hasPrimaryLocation W43807579661 @default.
- W4380757966 hasRelatedWork W1525643724 @default.
- W4380757966 hasRelatedWork W1943281423 @default.
- W4380757966 hasRelatedWork W2067938758 @default.
- W4380757966 hasRelatedWork W2119958165 @default.
- W4380757966 hasRelatedWork W2140487696 @default.
- W4380757966 hasRelatedWork W2302028273 @default.
- W4380757966 hasRelatedWork W2333420780 @default.
- W4380757966 hasRelatedWork W2364921833 @default.
- W4380757966 hasRelatedWork W2382623646 @default.
- W4380757966 hasRelatedWork W3087771547 @default.
- W4380757966 hasVolume "322" @default.
- W4380757966 isParatext "false" @default.
- W4380757966 isRetracted "false" @default.
- W4380757966 workType "article" @default.