FRINK Linked Data Fragments server

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

• W2550471858 abstract "This paper presents a novel component-based synthesis algorithm that marries the power of type-directed search with lightweight SMT-based deduction and partial evaluation. Given a set of components together with their over-approximate first-order specifications, our method first generates a program sketch over a subset of the components and checks its feasibility using an SMT solver. Since a program sketch typically represents many concrete programs, the use of SMT-based deduction greatly increases the scalability of the algorithm. Once a feasible program sketch is found, our algorithm completes the sketch in a bottom-up fashion, using partial evaluation to further increase the power of deduction for rejecting partially-filled program sketches. We apply the proposed synthesis methodology for automating a large class of data preparation tasks that commonly arise in data science. We have evaluated our synthesis algorithm on dozens of data wrangling and consolidation tasks obtained from on-line forums, and we show that our approach can automatically solve a large class of problems encountered by R users." @default.
• W2550471858 created "2016-11-30" @default.
• W2550471858 creator A5006424908 @default.
• W2550471858 creator A5024791744 @default.
• W2550471858 creator A5057341982 @default.
• W2550471858 creator A5063278309 @default.
• W2550471858 creator A5087247518 @default.
• W2550471858 date "2017-06-14" @default.
• W2550471858 modified "2023-10-17" @default.
• W2550471858 title "Component-based synthesis of table consolidation and transformation tasks from examples" @default.
• W2550471858 cites W1551385575 @default.
• W2550471858 cites W1858945639 @default.
• W2550471858 cites W1965446936 @default.
• W2550471858 cites W2013596093 @default.
• W2550471858 cites W2038123353 @default.
• W2550471858 cites W2060610732 @default.
• W2550471858 cites W2064766209 @default.
• W2550471858 cites W2093535699 @default.
• W2550471858 cites W2132525863 @default.
• W2550471858 cites W2132667707 @default.
• W2550471858 cites W2134734244 @default.
• W2550471858 cites W2143861926 @default.
• W2550471858 cites W2144951274 @default.
• W2550471858 cites W2145905293 @default.
• W2550471858 cites W2146753709 @default.
• W2550471858 cites W2149236697 @default.
• W2550471858 cites W2157976942 @default.
• W2550471858 cites W2263738566 @default.
• W2550471858 cites W2293033107 @default.
• W2550471858 cites W2295923951 @default.
• W2550471858 cites W2340618214 @default.
• W2550471858 cites W2409856616 @default.
• W2550471858 cites W2416325154 @default.
• W2550471858 cites W2561055248 @default.
• W2550471858 cites W4232188856 @default.
• W2550471858 cites W4233189519 @default.
• W2550471858 cites W4237412827 @default.
• W2550471858 cites W4242364663 @default.
• W2550471858 cites W4243693775 @default.
• W2550471858 cites W4245234767 @default.
• W2550471858 doi "https://doi.org/10.1145/3062341.3062351" @default.
• W2550471858 hasPublicationYear "2017" @default.
• W2550471858 type Work @default.
• W2550471858 sameAs 2550471858 @default.
• W2550471858 citedByCount "93" @default.
• W2550471858 countsByYear W25504718582016 @default.
• W2550471858 countsByYear W25504718582017 @default.
• W2550471858 countsByYear W25504718582018 @default.
• W2550471858 countsByYear W25504718582019 @default.
• W2550471858 countsByYear W25504718582020 @default.
• W2550471858 countsByYear W25504718582021 @default.
• W2550471858 countsByYear W25504718582022 @default.
• W2550471858 countsByYear W25504718582023 @default.
• W2550471858 crossrefType "proceedings-article" @default.
• W2550471858 hasAuthorship W2550471858A5006424908 @default.
• W2550471858 hasAuthorship W2550471858A5024791744 @default.
• W2550471858 hasAuthorship W2550471858A5057341982 @default.
• W2550471858 hasAuthorship W2550471858A5063278309 @default.
• W2550471858 hasAuthorship W2550471858A5087247518 @default.
• W2550471858 hasBestOaLocation W25504718581 @default.
• W2550471858 hasConcept C11413529 @default.
• W2550471858 hasConcept C121332964 @default.
• W2550471858 hasConcept C124101348 @default.
• W2550471858 hasConcept C168167062 @default.
• W2550471858 hasConcept C199360897 @default.
• W2550471858 hasConcept C2776937632 @default.
• W2550471858 hasConcept C2778770139 @default.
• W2550471858 hasConcept C2779231336 @default.
• W2550471858 hasConcept C41008148 @default.
• W2550471858 hasConcept C45235069 @default.
• W2550471858 hasConcept C48044578 @default.
• W2550471858 hasConcept C77088390 @default.
• W2550471858 hasConcept C80444323 @default.
• W2550471858 hasConcept C97355855 @default.
• W2550471858 hasConceptScore W2550471858C11413529 @default.
• W2550471858 hasConceptScore W2550471858C121332964 @default.
• W2550471858 hasConceptScore W2550471858C124101348 @default.
• W2550471858 hasConceptScore W2550471858C168167062 @default.
• W2550471858 hasConceptScore W2550471858C199360897 @default.
• W2550471858 hasConceptScore W2550471858C2776937632 @default.
• W2550471858 hasConceptScore W2550471858C2778770139 @default.
• W2550471858 hasConceptScore W2550471858C2779231336 @default.
• W2550471858 hasConceptScore W2550471858C41008148 @default.
• W2550471858 hasConceptScore W2550471858C45235069 @default.
• W2550471858 hasConceptScore W2550471858C48044578 @default.
• W2550471858 hasConceptScore W2550471858C77088390 @default.
• W2550471858 hasConceptScore W2550471858C80444323 @default.
• W2550471858 hasConceptScore W2550471858C97355855 @default.
• W2550471858 hasFunder F4320306076 @default.
• W2550471858 hasFunder F4320332180 @default.
• W2550471858 hasLocation W25504718581 @default.
• W2550471858 hasLocation W25504718582 @default.
• W2550471858 hasOpenAccess W2550471858 @default.
• W2550471858 hasPrimaryLocation W25504718581 @default.
• W2550471858 hasRelatedWork W1502821974 @default.
• W2550471858 hasRelatedWork W2028271970 @default.
• W2550471858 hasRelatedWork W2107523885 @default.
• W2550471858 hasRelatedWork W2165164695 @default.
• W2550471858 hasRelatedWork W2374245359 @default.
• W2550471858 hasRelatedWork W2384196876 @default.

• next