FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4376612696> ?p ?o ?g. }

• W4376612696 abstract "Program synthesis is the mechanised construction of software. One of the main difficulties is the efficient exploration of the very large solution space, and tools often require a user-provided syntactic restriction of the search space. While useful in general, such syntactic restrictions provide little help for the generation of programs that contain non-trivial constants, unless the user is able to provide the constants in advance. This is a fundamentally difficult task for state-of-the-art synthesisers. We propose a new approach to the synthesis of programs with non-trivial constants that combines the strengths of a counterexample-guided inductive synthesiser with those of a theory solver, exploring the solution space more efficiently without relying on user guidance. We call this approach CEGIS(T), where T is a first-order theory. We present two exemplars, one based on Fourier-Motzkin (FM) variable elimination and one based on first-order satisfiability. We demonstrate the practical value of CEGIS(T) by automatically synthesising programs for a set of intricate benchmarks. Additionally, we present a case study where we integrate CEGIS(T) within the mature synthesiser CVC4 and show that CEGIS(T) improves CVC4's results." @default.
• W4376612696 created "2023-05-17" @default.
• W4376612696 creator A5000310752 @default.
• W4376612696 creator A5009694403 @default.
• W4376612696 creator A5026961968 @default.
• W4376612696 creator A5046830049 @default.
• W4376612696 creator A5061487862 @default.
• W4376612696 creator A5072292925 @default.
• W4376612696 creator A5077994094 @default.
• W4376612696 creator A5083954589 @default.
• W4376612696 creator A5091718585 @default.
• W4376612696 date "2023-05-13" @default.
• W4376612696 modified "2023-09-27" @default.
• W4376612696 title "Synthesising Programs with Non-trivial Constants" @default.
• W4376612696 cites W128869332 @default.
• W4376612696 cites W1480909796 @default.
• W4376612696 cites W1489527380 @default.
• W4376612696 cites W1498734916 @default.
• W4376612696 cites W1507894341 @default.
• W4376612696 cites W1518705996 @default.
• W4376612696 cites W1905591175 @default.
• W4376612696 cites W1912569824 @default.
• W4376612696 cites W1935464460 @default.
• W4376612696 cites W1989813138 @default.
• W4376612696 cites W1997199152 @default.
• W4376612696 cites W2022846948 @default.
• W4376612696 cites W2043100293 @default.
• W4376612696 cites W2043214415 @default.
• W4376612696 cites W2069300761 @default.
• W4376612696 cites W2094878426 @default.
• W4376612696 cites W2115007594 @default.
• W4376612696 cites W2134734244 @default.
• W4376612696 cites W2162960800 @default.
• W4376612696 cites W2171999426 @default.
• W4376612696 cites W2603456259 @default.
• W4376612696 cites W2744775619 @default.
• W4376612696 cites W2768805914 @default.
• W4376612696 cites W2811385959 @default.
• W4376612696 cites W2884958048 @default.
• W4376612696 cites W2953054522 @default.
• W4376612696 cites W2956992268 @default.
• W4376612696 cites W2963310240 @default.
• W4376612696 cites W2963954089 @default.
• W4376612696 cites W2986598723 @default.
• W4376612696 cites W2997049506 @default.
• W4376612696 cites W3004239592 @default.
• W4376612696 cites W3192343331 @default.
• W4376612696 cites W4214903638 @default.
• W4376612696 cites W4229675450 @default.
• W4376612696 cites W4229917934 @default.
• W4376612696 cites W4251125603 @default.
• W4376612696 doi "https://doi.org/10.1007/s10817-023-09664-4" @default.
• W4376612696 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/37193313" @default.
• W4376612696 hasPublicationYear "2023" @default.
• W4376612696 type Work @default.
• W4376612696 citedByCount "0" @default.
• W4376612696 crossrefType "journal-article" @default.
• W4376612696 hasAuthorship W4376612696A5000310752 @default.
• W4376612696 hasAuthorship W4376612696A5009694403 @default.
• W4376612696 hasAuthorship W4376612696A5026961968 @default.
• W4376612696 hasAuthorship W4376612696A5046830049 @default.
• W4376612696 hasAuthorship W4376612696A5061487862 @default.
• W4376612696 hasAuthorship W4376612696A5072292925 @default.
• W4376612696 hasAuthorship W4376612696A5077994094 @default.
• W4376612696 hasAuthorship W4376612696A5083954589 @default.
• W4376612696 hasAuthorship W4376612696A5091718585 @default.
• W4376612696 hasBestOaLocation W43766126961 @default.
• W4376612696 hasConcept C111919701 @default.
• W4376612696 hasConcept C118615104 @default.
• W4376612696 hasConcept C162838799 @default.
• W4376612696 hasConcept C164155591 @default.
• W4376612696 hasConcept C168773769 @default.
• W4376612696 hasConcept C177264268 @default.
• W4376612696 hasConcept C199360897 @default.
• W4376612696 hasConcept C2777027219 @default.
• W4376612696 hasConcept C2778572836 @default.
• W4376612696 hasConcept C2778770139 @default.
• W4376612696 hasConcept C33923547 @default.
• W4376612696 hasConcept C41008148 @default.
• W4376612696 hasConcept C80444323 @default.
• W4376612696 hasConceptScore W4376612696C111919701 @default.
• W4376612696 hasConceptScore W4376612696C118615104 @default.
• W4376612696 hasConceptScore W4376612696C162838799 @default.
• W4376612696 hasConceptScore W4376612696C164155591 @default.
• W4376612696 hasConceptScore W4376612696C168773769 @default.
• W4376612696 hasConceptScore W4376612696C177264268 @default.
• W4376612696 hasConceptScore W4376612696C199360897 @default.
• W4376612696 hasConceptScore W4376612696C2777027219 @default.
• W4376612696 hasConceptScore W4376612696C2778572836 @default.
• W4376612696 hasConceptScore W4376612696C2778770139 @default.
• W4376612696 hasConceptScore W4376612696C33923547 @default.
• W4376612696 hasConceptScore W4376612696C41008148 @default.
• W4376612696 hasConceptScore W4376612696C80444323 @default.
• W4376612696 hasFunder F4320320006 @default.
• W4376612696 hasFunder F4320338336 @default.
• W4376612696 hasIssue "2" @default.
• W4376612696 hasLocation W43766126961 @default.
• W4376612696 hasLocation W43766126962 @default.
• W4376612696 hasLocation W43766126963 @default.
• W4376612696 hasLocation W43766126964 @default.

• next