FRINK Linked Data Fragments server

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

• W2890639568 endingPage "27" @default.
• W2890639568 startingPage "1" @default.
• W2890639568 abstract "This paper proposes relational program synthesis, a new problem that concerns synthesizing one or more programs that collectively satisfy a relational specification. As a dual of relational program verification, relational program synthesis is an important problem that has many practical applications, such as automated program inversion and automatic generation of comparators. However, this relational synthesis problem introduces new challenges over its non-relational counterpart due to the combinatorially larger search space. As a first step towards solving this problem, this paper presents a synthesis technique that combines the counterexample-guided inductive synthesis framework with a novel inductive synthesis algorithm that is based on relational version space learning. We have implemented the proposed technique in a framework called Relish, which can be instantiated to different application domains by providing a suitable domain-specific language and the relevant relational specification. We have used the Relish framework to build relational synthesizers to automatically generate string encoders/decoders as well as comparators, and we evaluate our tool on several benchmarks taken from prior work and online forums. Our experimental results show that the proposed technique can solve almost all of these benchmarks and that it significantly outperforms EUSolver, a generic synthesis framework that won the general track of the most recent SyGuS competition." @default.
• W2890639568 created "2018-09-27" @default.
• W2890639568 creator A5006424908 @default.
• W2890639568 creator A5021984184 @default.
• W2890639568 creator A5084945548 @default.
• W2890639568 date "2018-10-24" @default.
• W2890639568 modified "2023-10-17" @default.
• W2890639568 title "Relational program synthesis" @default.
• W2890639568 cites W1560374668 @default.
• W2890639568 cites W1587844310 @default.
• W2890639568 cites W1590649805 @default.
• W2890639568 cites W1792831685 @default.
• W2890639568 cites W179514658 @default.
• W2890639568 cites W1858945639 @default.
• W2890639568 cites W1976978933 @default.
• W2890639568 cites W2002085891 @default.
• W2890639568 cites W2060610732 @default.
• W2890639568 cites W2065394549 @default.
• W2890639568 cites W2091385303 @default.
• W2890639568 cites W2093535699 @default.
• W2890639568 cites W2094878426 @default.
• W2890639568 cites W2112660220 @default.
• W2890639568 cites W2115974895 @default.
• W2890639568 cites W2138577276 @default.
• W2890639568 cites W2149236697 @default.
• W2890639568 cites W2149996206 @default.
• W2890639568 cites W2156981320 @default.
• W2890639568 cites W2169698083 @default.
• W2890639568 cites W2238673293 @default.
• W2890639568 cites W2294628582 @default.
• W2890639568 cites W2339276203 @default.
• W2890639568 cites W2418260908 @default.
• W2890639568 cites W2472147697 @default.
• W2890639568 cites W2536870052 @default.
• W2890639568 cites W2603456259 @default.
• W2890639568 cites W2626317688 @default.
• W2890639568 cites W2626584434 @default.
• W2890639568 cites W2731197199 @default.
• W2890639568 cites W2765742677 @default.
• W2890639568 cites W2766853874 @default.
• W2890639568 cites W2768517636 @default.
• W2890639568 cites W2898097209 @default.
• W2890639568 cites W2963046270 @default.
• W2890639568 cites W3145555275 @default.
• W2890639568 cites W4237412827 @default.
• W2890639568 cites W4243125208 @default.
• W2890639568 cites W5424990 @default.
• W2890639568 doi "https://doi.org/10.1145/3276525" @default.
• W2890639568 hasPublicationYear "2018" @default.
• W2890639568 type Work @default.
• W2890639568 sameAs 2890639568 @default.
• W2890639568 citedByCount "9" @default.
• W2890639568 countsByYear W28906395682019 @default.
• W2890639568 countsByYear W28906395682020 @default.
• W2890639568 countsByYear W28906395682021 @default.
• W2890639568 countsByYear W28906395682022 @default.
• W2890639568 countsByYear W28906395682023 @default.
• W2890639568 crossrefType "journal-article" @default.
• W2890639568 hasAuthorship W2890639568A5006424908 @default.
• W2890639568 hasAuthorship W2890639568A5021984184 @default.
• W2890639568 hasAuthorship W2890639568A5084945548 @default.
• W2890639568 hasBestOaLocation W28906395681 @default.
• W2890639568 hasConcept C124101348 @default.
• W2890639568 hasConcept C16739119 @default.
• W2890639568 hasConcept C177877439 @default.
• W2890639568 hasConcept C199360897 @default.
• W2890639568 hasConcept C2776937632 @default.
• W2890639568 hasConcept C40207289 @default.
• W2890639568 hasConcept C41008148 @default.
• W2890639568 hasConcept C5655090 @default.
• W2890639568 hasConcept C80444323 @default.
• W2890639568 hasConcept C99436015 @default.
• W2890639568 hasConceptScore W2890639568C124101348 @default.
• W2890639568 hasConceptScore W2890639568C16739119 @default.
• W2890639568 hasConceptScore W2890639568C177877439 @default.
• W2890639568 hasConceptScore W2890639568C199360897 @default.
• W2890639568 hasConceptScore W2890639568C2776937632 @default.
• W2890639568 hasConceptScore W2890639568C40207289 @default.
• W2890639568 hasConceptScore W2890639568C41008148 @default.
• W2890639568 hasConceptScore W2890639568C5655090 @default.
• W2890639568 hasConceptScore W2890639568C80444323 @default.
• W2890639568 hasConceptScore W2890639568C99436015 @default.
• W2890639568 hasFunder F4320306076 @default.
• W2890639568 hasFunder F4320338294 @default.
• W2890639568 hasIssue "OOPSLA" @default.
• W2890639568 hasLocation W28906395681 @default.
• W2890639568 hasLocation W28906395682 @default.
• W2890639568 hasOpenAccess W2890639568 @default.
• W2890639568 hasPrimaryLocation W28906395681 @default.
• W2890639568 hasRelatedWork W1516375613 @default.
• W2890639568 hasRelatedWork W2005835473 @default.
• W2890639568 hasRelatedWork W2056340443 @default.
• W2890639568 hasRelatedWork W2085988990 @default.
• W2890639568 hasRelatedWork W2089781037 @default.
• W2890639568 hasRelatedWork W2243465518 @default.
• W2890639568 hasRelatedWork W2890639568 @default.
• W2890639568 hasRelatedWork W2899072220 @default.
• W2890639568 hasRelatedWork W2951153948 @default.

• next