Matches in SemOpenAlex for { <https://semopenalex.org/work/W2546302781> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2546302781 endingPage "611" @default.
- W2546302781 startingPage "597" @default.
- W2546302781 abstract "The control of polyvariance is a key issue in partial deduction of logic programs. Certainly, only finitely many specialised versions of any procedure should be generated, while, on the other hand, overly severe limitations should not be imposed. In this paper, well-founded orderings serve as a starting point for tackling this so-called “global control” problem. Polyvariance is determined by the set of distinct “partially deduced” atoms generated during partial deduction. Avoiding ad-hoc techniques, we formulate a quite general framework where this set is represented as a tree structure. Associating weights with nodes, we define a well-founded order among such structures, thus obtaining a foundation for certified global termination of partial deduction. We present a terminating and correct template algorithm, concrete instances of which can be used in actual implementations, and report on the results of some experiments. Finally, we argue that the proposed framework can enhance the understanding of and support further advances towards (fully automatic) optimal program specialisation." @default.
- W2546302781 created "2016-11-04" @default.
- W2546302781 creator A5079262002 @default.
- W2546302781 date "1995-01-01" @default.
- W2546302781 modified "2023-09-27" @default.
- W2546302781 title "Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance" @default.
- W2546302781 hasPublicationYear "1995" @default.
- W2546302781 type Work @default.
- W2546302781 sameAs 2546302781 @default.
- W2546302781 citedByCount "0" @default.
- W2546302781 crossrefType "journal-article" @default.
- W2546302781 hasAuthorship W2546302781A5079262002 @default.
- W2546302781 hasConcept C113174947 @default.
- W2546302781 hasConcept C11413529 @default.
- W2546302781 hasConcept C134306372 @default.
- W2546302781 hasConcept C177264268 @default.
- W2546302781 hasConcept C195701839 @default.
- W2546302781 hasConcept C199360897 @default.
- W2546302781 hasConcept C2524010 @default.
- W2546302781 hasConcept C28719098 @default.
- W2546302781 hasConcept C33923547 @default.
- W2546302781 hasConcept C41008148 @default.
- W2546302781 hasConcept C80444323 @default.
- W2546302781 hasConceptScore W2546302781C113174947 @default.
- W2546302781 hasConceptScore W2546302781C11413529 @default.
- W2546302781 hasConceptScore W2546302781C134306372 @default.
- W2546302781 hasConceptScore W2546302781C177264268 @default.
- W2546302781 hasConceptScore W2546302781C195701839 @default.
- W2546302781 hasConceptScore W2546302781C199360897 @default.
- W2546302781 hasConceptScore W2546302781C2524010 @default.
- W2546302781 hasConceptScore W2546302781C28719098 @default.
- W2546302781 hasConceptScore W2546302781C33923547 @default.
- W2546302781 hasConceptScore W2546302781C41008148 @default.
- W2546302781 hasConceptScore W2546302781C80444323 @default.
- W2546302781 hasLocation W25463027811 @default.
- W2546302781 hasOpenAccess W2546302781 @default.
- W2546302781 hasPrimaryLocation W25463027811 @default.
- W2546302781 hasRelatedWork W1540412598 @default.
- W2546302781 hasRelatedWork W1600778447 @default.
- W2546302781 hasRelatedWork W1623321129 @default.
- W2546302781 hasRelatedWork W184346136 @default.
- W2546302781 hasRelatedWork W2034471164 @default.
- W2546302781 hasRelatedWork W2037474536 @default.
- W2546302781 hasRelatedWork W2061679993 @default.
- W2546302781 hasRelatedWork W2064216040 @default.
- W2546302781 hasRelatedWork W2066882107 @default.
- W2546302781 hasRelatedWork W2202863966 @default.
- W2546302781 hasRelatedWork W2222205073 @default.
- W2546302781 hasRelatedWork W2529529838 @default.
- W2546302781 hasRelatedWork W2553417806 @default.
- W2546302781 hasRelatedWork W2949296398 @default.
- W2546302781 hasRelatedWork W2962810194 @default.
- W2546302781 hasRelatedWork W3021266064 @default.
- W2546302781 hasRelatedWork W3099844725 @default.
- W2546302781 hasRelatedWork W3104721040 @default.
- W2546302781 hasRelatedWork W54054103 @default.
- W2546302781 hasRelatedWork W2611983602 @default.
- W2546302781 isParatext "false" @default.
- W2546302781 isRetracted "false" @default.
- W2546302781 magId "2546302781" @default.
- W2546302781 workType "article" @default.