FRINK Linked Data Fragments server

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

• W173628438 endingPage "412" @default.
• W173628438 startingPage "407" @default.
• W173628438 abstract "Fold-unfold is a well known program transformation technique. Its major drawback is that folding requires an Eureka step to invent new procedures.In the context of logic programming, we present a technique where the folding is driven by an example. The transformation is aimed at programs suffering from inefficiencies due to the repetition of identical subcomputations. The execution of an example is analysed to locate repeated subcomputations. Then the structure of the example is used to control a fold-unfold-transformation of the program. The transformation can be automated. The method can be regarded as an extension of explanation based learning." @default.
• W173628438 created "2016-06-24" @default.
• W173628438 creator A5004343076 @default.
• W173628438 creator A5024311222 @default.
• W173628438 creator A5078136609 @default.
• W173628438 date "1989-08-20" @default.
• W173628438 modified "2023-10-18" @default.
• W173628438 title "Explanation based program transformation" @default.
• W173628438 cites W134901130 @default.
• W173628438 cites W149980436 @default.
• W173628438 cites W1530251652 @default.
• W173628438 cites W1581847324 @default.
• W173628438 cites W1976811743 @default.
• W173628438 cites W2023299380 @default.
• W173628438 cites W2039504742 @default.
• W173628438 cites W2048643630 @default.
• W173628438 cites W2092096356 @default.
• W173628438 cites W2101602574 @default.
• W173628438 cites W2180885055 @default.
• W173628438 cites W272607959 @default.
• W173628438 cites W2914613462 @default.
• W173628438 cites W70312424 @default.
• W173628438 cites W78940885 @default.
• W173628438 hasPublicationYear "1989" @default.
• W173628438 type Work @default.
• W173628438 sameAs 173628438 @default.
• W173628438 citedByCount "7" @default.
• W173628438 crossrefType "proceedings-article" @default.
• W173628438 hasAuthorship W173628438A5004343076 @default.
• W173628438 hasAuthorship W173628438A5024311222 @default.
• W173628438 hasAuthorship W173628438A5078136609 @default.
• W173628438 hasConcept C104317684 @default.
• W173628438 hasConcept C11413529 @default.
• W173628438 hasConcept C119599485 @default.
• W173628438 hasConcept C127413603 @default.
• W173628438 hasConcept C128838566 @default.
• W173628438 hasConcept C151730666 @default.
• W173628438 hasConcept C154945302 @default.
• W173628438 hasConcept C185592680 @default.
• W173628438 hasConcept C199360897 @default.
• W173628438 hasConcept C204241405 @default.
• W173628438 hasConcept C2776436953 @default.
• W173628438 hasConcept C2776545253 @default.
• W173628438 hasConcept C2778029271 @default.
• W173628438 hasConcept C2778361913 @default.
• W173628438 hasConcept C2779343474 @default.
• W173628438 hasConcept C2779791154 @default.
• W173628438 hasConcept C2987117450 @default.
• W173628438 hasConcept C41008148 @default.
• W173628438 hasConcept C55493867 @default.
• W173628438 hasConcept C80444323 @default.
• W173628438 hasConcept C86803240 @default.
• W173628438 hasConceptScore W173628438C104317684 @default.
• W173628438 hasConceptScore W173628438C11413529 @default.
• W173628438 hasConceptScore W173628438C119599485 @default.
• W173628438 hasConceptScore W173628438C127413603 @default.
• W173628438 hasConceptScore W173628438C128838566 @default.
• W173628438 hasConceptScore W173628438C151730666 @default.
• W173628438 hasConceptScore W173628438C154945302 @default.
• W173628438 hasConceptScore W173628438C185592680 @default.
• W173628438 hasConceptScore W173628438C199360897 @default.
• W173628438 hasConceptScore W173628438C204241405 @default.
• W173628438 hasConceptScore W173628438C2776436953 @default.
• W173628438 hasConceptScore W173628438C2776545253 @default.
• W173628438 hasConceptScore W173628438C2778029271 @default.
• W173628438 hasConceptScore W173628438C2778361913 @default.
• W173628438 hasConceptScore W173628438C2779343474 @default.
• W173628438 hasConceptScore W173628438C2779791154 @default.
• W173628438 hasConceptScore W173628438C2987117450 @default.
• W173628438 hasConceptScore W173628438C41008148 @default.
• W173628438 hasConceptScore W173628438C55493867 @default.
• W173628438 hasConceptScore W173628438C80444323 @default.
• W173628438 hasConceptScore W173628438C86803240 @default.
• W173628438 hasLocation W1736284381 @default.
• W173628438 hasOpenAccess W173628438 @default.
• W173628438 hasPrimaryLocation W1736284381 @default.
• W173628438 hasRelatedWork W1483671663 @default.
• W173628438 hasRelatedWork W1541434994 @default.
• W173628438 hasRelatedWork W1555438985 @default.
• W173628438 hasRelatedWork W1956537060 @default.
• W173628438 hasRelatedWork W2028415854 @default.
• W173628438 hasRelatedWork W2094518006 @default.
• W173628438 hasRelatedWork W2116496162 @default.
• W173628438 hasRelatedWork W2158124472 @default.
• W173628438 hasRelatedWork W2162873316 @default.
• W173628438 hasRelatedWork W2180885055 @default.
• W173628438 hasRelatedWork W2295819238 @default.
• W173628438 hasRelatedWork W2346669780 @default.
• W173628438 hasRelatedWork W2552612019 @default.
• W173628438 hasRelatedWork W2898343707 @default.
• W173628438 hasRelatedWork W2942669659 @default.
• W173628438 hasRelatedWork W2964240296 @default.
• W173628438 hasRelatedWork W3126417446 @default.
• W173628438 hasRelatedWork W3160180849 @default.
• W173628438 hasRelatedWork W3183197268 @default.
• W173628438 hasRelatedWork W3205382505 @default.
• W173628438 isParatext "false" @default.
• W173628438 isRetracted "false" @default.

• next