Matches in SemOpenAlex for { <https://semopenalex.org/work/W1568484765> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1568484765 endingPage "82" @default.
- W1568484765 startingPage "59" @default.
- W1568484765 abstract "Recently, partial deduction of logic programs has been extended to conceptually embed folding. To this end, partial deductions are no longer computed of single atoms, but rather of entire conjunctions; Hence the term “conjunctive partial deduction”. Conjunctive partial deduction aims at achieving unfold/fold-like program transformations such as tupling and deforestation within fully automated partial deduction. However, its merits greatly surpass that limited context: Also other major efficiency gains can be obtained through considerably improved side-ways information propagation. In this paper, we present a first investigation of conjunctive partial deduction in practice. We describe the concrete options used in the implementation(s), look at abstraction in a practical Prolog context, include and discuss an extensive set of benchmark results. ¿ From these, we can conclude that conjunctive partial deduction can indeed pay off in practice, beating its conventional precursor on a number of small to medium size programs. However, controlling it in a perfect way proves far from obvious, and a range of challenging open problems remain as topics for further research." @default.
- W1568484765 created "2016-06-24" @default.
- W1568484765 creator A5005660404 @default.
- W1568484765 creator A5037894557 @default.
- W1568484765 creator A5058847017 @default.
- W1568484765 date "1997-01-01" @default.
- W1568484765 modified "2023-10-12" @default.
- W1568484765 title "Conjunctive partial deduction in practice" @default.
- W1568484765 cites W153405243 @default.
- W1568484765 cites W1540412598 @default.
- W1568484765 cites W1604215041 @default.
- W1568484765 cites W1933733268 @default.
- W1568484765 cites W1982243747 @default.
- W1568484765 cites W1985933047 @default.
- W1568484765 cites W1988185893 @default.
- W1568484765 cites W1991589943 @default.
- W1568484765 cites W2008251703 @default.
- W1568484765 cites W2012069736 @default.
- W1568484765 cites W2020024606 @default.
- W1568484765 cites W2023299380 @default.
- W1568484765 cites W2037035101 @default.
- W1568484765 cites W2048831705 @default.
- W1568484765 cites W2070902236 @default.
- W1568484765 cites W2118383426 @default.
- W1568484765 cites W2135124683 @default.
- W1568484765 cites W2139887734 @default.
- W1568484765 cites W2208923056 @default.
- W1568484765 cites W4206370914 @default.
- W1568484765 doi "https://doi.org/10.1007/3-540-62718-9_5" @default.
- W1568484765 hasPublicationYear "1997" @default.
- W1568484765 type Work @default.
- W1568484765 sameAs 1568484765 @default.
- W1568484765 citedByCount "22" @default.
- W1568484765 countsByYear W15684847652017 @default.
- W1568484765 countsByYear W15684847652022 @default.
- W1568484765 crossrefType "book-chapter" @default.
- W1568484765 hasAuthorship W1568484765A5005660404 @default.
- W1568484765 hasAuthorship W1568484765A5037894557 @default.
- W1568484765 hasAuthorship W1568484765A5058847017 @default.
- W1568484765 hasBestOaLocation W15684847652 @default.
- W1568484765 hasConcept C111472728 @default.
- W1568484765 hasConcept C118615104 @default.
- W1568484765 hasConcept C124304363 @default.
- W1568484765 hasConcept C138885662 @default.
- W1568484765 hasConcept C151730666 @default.
- W1568484765 hasConcept C177264268 @default.
- W1568484765 hasConcept C182359184 @default.
- W1568484765 hasConcept C195701839 @default.
- W1568484765 hasConcept C199360897 @default.
- W1568484765 hasConcept C2779343474 @default.
- W1568484765 hasConcept C33923547 @default.
- W1568484765 hasConcept C41008148 @default.
- W1568484765 hasConcept C80444323 @default.
- W1568484765 hasConcept C81721847 @default.
- W1568484765 hasConcept C86803240 @default.
- W1568484765 hasConceptScore W1568484765C111472728 @default.
- W1568484765 hasConceptScore W1568484765C118615104 @default.
- W1568484765 hasConceptScore W1568484765C124304363 @default.
- W1568484765 hasConceptScore W1568484765C138885662 @default.
- W1568484765 hasConceptScore W1568484765C151730666 @default.
- W1568484765 hasConceptScore W1568484765C177264268 @default.
- W1568484765 hasConceptScore W1568484765C182359184 @default.
- W1568484765 hasConceptScore W1568484765C195701839 @default.
- W1568484765 hasConceptScore W1568484765C199360897 @default.
- W1568484765 hasConceptScore W1568484765C2779343474 @default.
- W1568484765 hasConceptScore W1568484765C33923547 @default.
- W1568484765 hasConceptScore W1568484765C41008148 @default.
- W1568484765 hasConceptScore W1568484765C80444323 @default.
- W1568484765 hasConceptScore W1568484765C81721847 @default.
- W1568484765 hasConceptScore W1568484765C86803240 @default.
- W1568484765 hasLocation W15684847651 @default.
- W1568484765 hasLocation W15684847652 @default.
- W1568484765 hasLocation W15684847653 @default.
- W1568484765 hasLocation W15684847654 @default.
- W1568484765 hasOpenAccess W1568484765 @default.
- W1568484765 hasPrimaryLocation W15684847651 @default.
- W1568484765 hasRelatedWork W1548535723 @default.
- W1568484765 hasRelatedWork W1608659702 @default.
- W1568484765 hasRelatedWork W1997254051 @default.
- W1568484765 hasRelatedWork W2037317228 @default.
- W1568484765 hasRelatedWork W2047793074 @default.
- W1568484765 hasRelatedWork W2088007073 @default.
- W1568484765 hasRelatedWork W2112962394 @default.
- W1568484765 hasRelatedWork W2267363004 @default.
- W1568484765 hasRelatedWork W3160136729 @default.
- W1568484765 hasRelatedWork W2473250120 @default.
- W1568484765 isParatext "false" @default.
- W1568484765 isRetracted "false" @default.
- W1568484765 magId "1568484765" @default.
- W1568484765 workType "book-chapter" @default.