Matches in SemOpenAlex for { <https://semopenalex.org/work/W2029186912> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2029186912 endingPage "124" @default.
- W2029186912 startingPage "89" @default.
- W2029186912 abstract "We present an approach to the automatic improvement of performances of logic programs by using the unfold/fold transformation technique. A cause of program inefficiency is often the presence of variables which are unnecessary, in the sense that they force computations of redundant values or multiple visits of data structures. We propose a strategy which automatically transforms initial program versions into new and more efficient versions by avoiding unnecessary variables. Our strategy is an extension of the one which was introduced in an earlier paper by Proietti-Pettorossi (1990). It is based on the syntactical characterization of the unnecessary variables and it uses a composite transformation rule made out of unfolding-definition-folding steps, in this order. The strategy consists in the repeated application of that composite rule to each clause with unnecessary variables. It avoids the search for eureka definitions which is often required by other techniques proposed in the literature. We define a class of programs for which our transformation strategy is successful and we propose a variant of that strategy which uses the so-called generaliziation rule. This variant is always terminating, but, in general, not all unnecessary variables are eliminated. We finally present an enhancement of the proposed transformation techniques which exploits the functionality of some predicates." @default.
- W2029186912 created "2016-06-24" @default.
- W2029186912 creator A5018873219 @default.
- W2029186912 creator A5025420559 @default.
- W2029186912 date "1995-05-01" @default.
- W2029186912 modified "2023-09-26" @default.
- W2029186912 title "Unfolding-definition-folding, in this order, for avoiding unnecessary variables in logic programs" @default.
- W2029186912 cites W1982644528 @default.
- W2029186912 cites W1988651604 @default.
- W2029186912 cites W1991589943 @default.
- W2029186912 cites W1992808564 @default.
- W2029186912 cites W2001937661 @default.
- W2029186912 cites W2009165202 @default.
- W2029186912 cites W2023299380 @default.
- W2029186912 cites W2037035101 @default.
- W2029186912 cites W2056168527 @default.
- W2029186912 cites W2061767363 @default.
- W2029186912 cites W2077789910 @default.
- W2029186912 cites W2092371432 @default.
- W2029186912 cites W2914613462 @default.
- W2029186912 doi "https://doi.org/10.1016/0304-3975(94)00227-a" @default.
- W2029186912 hasPublicationYear "1995" @default.
- W2029186912 type Work @default.
- W2029186912 sameAs 2029186912 @default.
- W2029186912 citedByCount "53" @default.
- W2029186912 countsByYear W20291869122012 @default.
- W2029186912 countsByYear W20291869122013 @default.
- W2029186912 countsByYear W20291869122016 @default.
- W2029186912 countsByYear W20291869122017 @default.
- W2029186912 countsByYear W20291869122018 @default.
- W2029186912 countsByYear W20291869122020 @default.
- W2029186912 countsByYear W20291869122021 @default.
- W2029186912 crossrefType "journal-article" @default.
- W2029186912 hasAuthorship W2029186912A5018873219 @default.
- W2029186912 hasAuthorship W2029186912A5025420559 @default.
- W2029186912 hasConcept C104317684 @default.
- W2029186912 hasConcept C11413529 @default.
- W2029186912 hasConcept C119599485 @default.
- W2029186912 hasConcept C127413603 @default.
- W2029186912 hasConcept C154945302 @default.
- W2029186912 hasConcept C165696696 @default.
- W2029186912 hasConcept C185592680 @default.
- W2029186912 hasConcept C199360897 @default.
- W2029186912 hasConcept C204241405 @default.
- W2029186912 hasConcept C2776545253 @default.
- W2029186912 hasConcept C2777212361 @default.
- W2029186912 hasConcept C2778029271 @default.
- W2029186912 hasConcept C2778361913 @default.
- W2029186912 hasConcept C2780432614 @default.
- W2029186912 hasConcept C38652104 @default.
- W2029186912 hasConcept C41008148 @default.
- W2029186912 hasConcept C45374587 @default.
- W2029186912 hasConcept C55493867 @default.
- W2029186912 hasConcept C80444323 @default.
- W2029186912 hasConceptScore W2029186912C104317684 @default.
- W2029186912 hasConceptScore W2029186912C11413529 @default.
- W2029186912 hasConceptScore W2029186912C119599485 @default.
- W2029186912 hasConceptScore W2029186912C127413603 @default.
- W2029186912 hasConceptScore W2029186912C154945302 @default.
- W2029186912 hasConceptScore W2029186912C165696696 @default.
- W2029186912 hasConceptScore W2029186912C185592680 @default.
- W2029186912 hasConceptScore W2029186912C199360897 @default.
- W2029186912 hasConceptScore W2029186912C204241405 @default.
- W2029186912 hasConceptScore W2029186912C2776545253 @default.
- W2029186912 hasConceptScore W2029186912C2777212361 @default.
- W2029186912 hasConceptScore W2029186912C2778029271 @default.
- W2029186912 hasConceptScore W2029186912C2778361913 @default.
- W2029186912 hasConceptScore W2029186912C2780432614 @default.
- W2029186912 hasConceptScore W2029186912C38652104 @default.
- W2029186912 hasConceptScore W2029186912C41008148 @default.
- W2029186912 hasConceptScore W2029186912C45374587 @default.
- W2029186912 hasConceptScore W2029186912C55493867 @default.
- W2029186912 hasConceptScore W2029186912C80444323 @default.
- W2029186912 hasIssue "1" @default.
- W2029186912 hasLocation W20291869121 @default.
- W2029186912 hasOpenAccess W2029186912 @default.
- W2029186912 hasPrimaryLocation W20291869121 @default.
- W2029186912 hasRelatedWork W1527191935 @default.
- W2029186912 hasRelatedWork W2137609856 @default.
- W2029186912 hasRelatedWork W2158124472 @default.
- W2029186912 hasRelatedWork W2245236296 @default.
- W2029186912 hasRelatedWork W2365767001 @default.
- W2029186912 hasRelatedWork W2375190040 @default.
- W2029186912 hasRelatedWork W2964604098 @default.
- W2029186912 hasRelatedWork W2997512100 @default.
- W2029186912 hasRelatedWork W2247596074 @default.
- W2029186912 hasRelatedWork W2615750249 @default.
- W2029186912 hasVolume "142" @default.
- W2029186912 isParatext "false" @default.
- W2029186912 isRetracted "false" @default.
- W2029186912 magId "2029186912" @default.
- W2029186912 workType "article" @default.