Matches in SemOpenAlex for { <https://semopenalex.org/work/W2293478596> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2293478596 endingPage "447" @default.
- W2293478596 startingPage "440" @default.
- W2293478596 abstract "This paper describes first a program synthesis from examples method using a SUMMERS like methodology together with a sophisticated pattern matching technique, the BOYER-MOORE-WEGBREIT algorithm. We then characterize the class of functions synthesized from a restricted BMW algorithm. Our methodology is founded on three grounds.The first one is a precise characterization of the list domains fitting the synthesis from examples problem. The second one is SUMMERS' technique of input-output examples transformation into computational traces. The third one is the description by a restricted program scheme of the functions in the class. It seems to us that the proofs methods easily extend to the general class." @default.
- W2293478596 created "2016-06-24" @default.
- W2293478596 creator A5004958754 @default.
- W2293478596 creator A5014318653 @default.
- W2293478596 date "1979-08-20" @default.
- W2293478596 modified "2023-10-08" @default.
- W2293478596 title "Characterization of a class of functions synthesized from examples by a summers like method using a B.M.W. matching technique" @default.
- W2293478596 cites W108453399 @default.
- W2293478596 cites W1976859918 @default.
- W2293478596 cites W1988651604 @default.
- W2293478596 cites W1993524544 @default.
- W2293478596 cites W2051793989 @default.
- W2293478596 cites W2074407326 @default.
- W2293478596 cites W2076242896 @default.
- W2293478596 cites W2100738443 @default.
- W2293478596 cites W212010536 @default.
- W2293478596 cites W2507006525 @default.
- W2293478596 cites W91039012 @default.
- W2293478596 hasPublicationYear "1979" @default.
- W2293478596 type Work @default.
- W2293478596 sameAs 2293478596 @default.
- W2293478596 citedByCount "5" @default.
- W2293478596 crossrefType "proceedings-article" @default.
- W2293478596 hasAuthorship W2293478596A5004958754 @default.
- W2293478596 hasAuthorship W2293478596A5014318653 @default.
- W2293478596 hasConcept C104317684 @default.
- W2293478596 hasConcept C105795698 @default.
- W2293478596 hasConcept C108710211 @default.
- W2293478596 hasConcept C11413529 @default.
- W2293478596 hasConcept C134306372 @default.
- W2293478596 hasConcept C154945302 @default.
- W2293478596 hasConcept C165064840 @default.
- W2293478596 hasConcept C171250308 @default.
- W2293478596 hasConcept C185592680 @default.
- W2293478596 hasConcept C192562407 @default.
- W2293478596 hasConcept C199360897 @default.
- W2293478596 hasConcept C204241405 @default.
- W2293478596 hasConcept C2524010 @default.
- W2293478596 hasConcept C2776937632 @default.
- W2293478596 hasConcept C2777212361 @default.
- W2293478596 hasConcept C2778361913 @default.
- W2293478596 hasConcept C2780841128 @default.
- W2293478596 hasConcept C33923547 @default.
- W2293478596 hasConcept C41008148 @default.
- W2293478596 hasConcept C55493867 @default.
- W2293478596 hasConcept C68859911 @default.
- W2293478596 hasConcept C77618280 @default.
- W2293478596 hasConcept C80444323 @default.
- W2293478596 hasConceptScore W2293478596C104317684 @default.
- W2293478596 hasConceptScore W2293478596C105795698 @default.
- W2293478596 hasConceptScore W2293478596C108710211 @default.
- W2293478596 hasConceptScore W2293478596C11413529 @default.
- W2293478596 hasConceptScore W2293478596C134306372 @default.
- W2293478596 hasConceptScore W2293478596C154945302 @default.
- W2293478596 hasConceptScore W2293478596C165064840 @default.
- W2293478596 hasConceptScore W2293478596C171250308 @default.
- W2293478596 hasConceptScore W2293478596C185592680 @default.
- W2293478596 hasConceptScore W2293478596C192562407 @default.
- W2293478596 hasConceptScore W2293478596C199360897 @default.
- W2293478596 hasConceptScore W2293478596C204241405 @default.
- W2293478596 hasConceptScore W2293478596C2524010 @default.
- W2293478596 hasConceptScore W2293478596C2776937632 @default.
- W2293478596 hasConceptScore W2293478596C2777212361 @default.
- W2293478596 hasConceptScore W2293478596C2778361913 @default.
- W2293478596 hasConceptScore W2293478596C2780841128 @default.
- W2293478596 hasConceptScore W2293478596C33923547 @default.
- W2293478596 hasConceptScore W2293478596C41008148 @default.
- W2293478596 hasConceptScore W2293478596C55493867 @default.
- W2293478596 hasConceptScore W2293478596C68859911 @default.
- W2293478596 hasConceptScore W2293478596C77618280 @default.
- W2293478596 hasConceptScore W2293478596C80444323 @default.
- W2293478596 hasLocation W22934785961 @default.
- W2293478596 hasOpenAccess W2293478596 @default.
- W2293478596 hasPrimaryLocation W22934785961 @default.
- W2293478596 hasRelatedWork W1496287787 @default.
- W2293478596 hasRelatedWork W1976859918 @default.
- W2293478596 hasRelatedWork W2006917732 @default.
- W2293478596 hasRelatedWork W2010429995 @default.
- W2293478596 hasRelatedWork W2051793989 @default.
- W2293478596 hasRelatedWork W2076242896 @default.
- W2293478596 hasRelatedWork W212010536 @default.
- W2293478596 hasRelatedWork W2144936864 @default.
- W2293478596 hasRelatedWork W2164978940 @default.
- W2293478596 hasRelatedWork W2381080471 @default.
- W2293478596 hasRelatedWork W2564139680 @default.
- W2293478596 hasRelatedWork W2574822342 @default.
- W2293478596 hasRelatedWork W2604327194 @default.
- W2293478596 hasRelatedWork W2620399972 @default.
- W2293478596 hasRelatedWork W2895766200 @default.
- W2293478596 hasRelatedWork W2953293633 @default.
- W2293478596 hasRelatedWork W2980992634 @default.
- W2293478596 hasRelatedWork W3104508146 @default.
- W2293478596 hasRelatedWork W3115246044 @default.
- W2293478596 hasRelatedWork W3163077272 @default.
- W2293478596 isParatext "false" @default.
- W2293478596 isRetracted "false" @default.
- W2293478596 magId "2293478596" @default.
- W2293478596 workType "article" @default.