Matches in SemOpenAlex for { <https://semopenalex.org/work/W2051217125> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2051217125 endingPage "63" @default.
- W2051217125 startingPage "49" @default.
- W2051217125 abstract "We present a technique for inducing functional programs from few, well chosen input/output-examples (I/O-examples). Potential applications for automatic program or algorithm induction are to enable end users to create their own simple programs, to assist professional programmers, or to automatically invent completely new and efficient algorithms. In our approach, functional programs are represented as constructor term rewriting systems (CSs) containing recursive rules. I/O-examples for a target function to be implemented are a set of pairs of terms (F(ii),oi) meaning that F(ii)—denoting application of function F to input ii—is rewritten to oi by a CS implementing the function F. Induction is based on detecting syntactic regularities between example terms. In this paper we present theoretical results and describe an algorithm for inducing CSs over arbitrary signatures/data types which consist of one function defined by an arbitrary number of rules with an arbitrary number of non-nested recursive calls in each rule. Moreover, we present empirical results based on a prototypical implementation." @default.
- W2051217125 created "2016-06-24" @default.
- W2051217125 creator A5019555003 @default.
- W2051217125 creator A5027156356 @default.
- W2051217125 date "2007-04-01" @default.
- W2051217125 modified "2023-09-24" @default.
- W2051217125 title "Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities" @default.
- W2051217125 cites W1532428700 @default.
- W2051217125 cites W1546486530 @default.
- W2051217125 cites W2022879002 @default.
- W2051217125 cites W2025127488 @default.
- W2051217125 cites W2076242896 @default.
- W2051217125 cites W212010536 @default.
- W2051217125 cites W2120926795 @default.
- W2051217125 cites W2144936864 @default.
- W2051217125 cites W2152700576 @default.
- W2051217125 cites W2293478596 @default.
- W2051217125 cites W2585339290 @default.
- W2051217125 doi "https://doi.org/10.1016/j.entcs.2006.11.015" @default.
- W2051217125 hasPublicationYear "2007" @default.
- W2051217125 type Work @default.
- W2051217125 sameAs 2051217125 @default.
- W2051217125 citedByCount "0" @default.
- W2051217125 crossrefType "journal-article" @default.
- W2051217125 hasAuthorship W2051217125A5019555003 @default.
- W2051217125 hasAuthorship W2051217125A5027156356 @default.
- W2051217125 hasBestOaLocation W20512171251 @default.
- W2051217125 hasConcept C111472728 @default.
- W2051217125 hasConcept C11413529 @default.
- W2051217125 hasConcept C121332964 @default.
- W2051217125 hasConcept C136726353 @default.
- W2051217125 hasConcept C138885662 @default.
- W2051217125 hasConcept C14036430 @default.
- W2051217125 hasConcept C154690210 @default.
- W2051217125 hasConcept C15744967 @default.
- W2051217125 hasConcept C177264268 @default.
- W2051217125 hasConcept C199360897 @default.
- W2051217125 hasConcept C206743973 @default.
- W2051217125 hasConcept C2524010 @default.
- W2051217125 hasConcept C2780586882 @default.
- W2051217125 hasConcept C2780876879 @default.
- W2051217125 hasConcept C33923547 @default.
- W2051217125 hasConcept C41008148 @default.
- W2051217125 hasConcept C42383842 @default.
- W2051217125 hasConcept C542102704 @default.
- W2051217125 hasConcept C61797465 @default.
- W2051217125 hasConcept C62520636 @default.
- W2051217125 hasConcept C78458016 @default.
- W2051217125 hasConcept C80444323 @default.
- W2051217125 hasConcept C86803240 @default.
- W2051217125 hasConceptScore W2051217125C111472728 @default.
- W2051217125 hasConceptScore W2051217125C11413529 @default.
- W2051217125 hasConceptScore W2051217125C121332964 @default.
- W2051217125 hasConceptScore W2051217125C136726353 @default.
- W2051217125 hasConceptScore W2051217125C138885662 @default.
- W2051217125 hasConceptScore W2051217125C14036430 @default.
- W2051217125 hasConceptScore W2051217125C154690210 @default.
- W2051217125 hasConceptScore W2051217125C15744967 @default.
- W2051217125 hasConceptScore W2051217125C177264268 @default.
- W2051217125 hasConceptScore W2051217125C199360897 @default.
- W2051217125 hasConceptScore W2051217125C206743973 @default.
- W2051217125 hasConceptScore W2051217125C2524010 @default.
- W2051217125 hasConceptScore W2051217125C2780586882 @default.
- W2051217125 hasConceptScore W2051217125C2780876879 @default.
- W2051217125 hasConceptScore W2051217125C33923547 @default.
- W2051217125 hasConceptScore W2051217125C41008148 @default.
- W2051217125 hasConceptScore W2051217125C42383842 @default.
- W2051217125 hasConceptScore W2051217125C542102704 @default.
- W2051217125 hasConceptScore W2051217125C61797465 @default.
- W2051217125 hasConceptScore W2051217125C62520636 @default.
- W2051217125 hasConceptScore W2051217125C78458016 @default.
- W2051217125 hasConceptScore W2051217125C80444323 @default.
- W2051217125 hasConceptScore W2051217125C86803240 @default.
- W2051217125 hasIssue "1" @default.
- W2051217125 hasLocation W20512171251 @default.
- W2051217125 hasLocation W20512171252 @default.
- W2051217125 hasLocation W20512171253 @default.
- W2051217125 hasOpenAccess W2051217125 @default.
- W2051217125 hasPrimaryLocation W20512171251 @default.
- W2051217125 hasRelatedWork W1032572692 @default.
- W2051217125 hasRelatedWork W1866859260 @default.
- W2051217125 hasRelatedWork W2051217125 @default.
- W2051217125 hasRelatedWork W2084470481 @default.
- W2051217125 hasRelatedWork W2099473324 @default.
- W2051217125 hasRelatedWork W2160815344 @default.
- W2051217125 hasRelatedWork W244585509 @default.
- W2051217125 hasRelatedWork W323703955 @default.
- W2051217125 hasRelatedWork W4251805752 @default.
- W2051217125 hasRelatedWork W2764317176 @default.
- W2051217125 hasVolume "174" @default.
- W2051217125 isParatext "false" @default.
- W2051217125 isRetracted "false" @default.
- W2051217125 magId "2051217125" @default.
- W2051217125 workType "article" @default.