Matches in SemOpenAlex for { <https://semopenalex.org/work/W1559076591> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1559076591 endingPage "283" @default.
- W1559076591 startingPage "263" @default.
- W1559076591 abstract "Recently, considerable advances have been made in the (online) control of logic program specialisation. A clear conceptual distinction has been established between local and global control and on both levels concrete strategies as well as general frameworks have been proposed. For global control in particular, recent work has developed concrete techniques based on the preservation of characteristic trees (limited, however, by a given, arbitrary depth bound) to obtain a very precise control of polyvariance. On the other hand, the concept of an m-tree has been introduced as a refined way to trace “relationships” of partially deduced atoms, thus serving as the basis for a general framework within which global termination of partial deduction can be ensured in a non ad hoc way. Blending both, formerly separate, contributions, in this paper, we present an elegant and sophisticated technique to globally control partial deduction of normal logic programs. Leaving unspecified the specific local control one may wish to plug in, we develop a concrete global control strategy combining the use of characteristic atoms and trees with global (m-)trees. We thus obtain partial deduction that always terminates in an elegant, non ad hoc way, while providing excellent specialisation as well as fine-grained (but reasonable) polyvariance. We conjecture that a similar approach may contribute to improve upon current (on-line) control strategies for functional program transformation methods such as (positive) supercompilation." @default.
- W1559076591 created "2016-06-24" @default.
- W1559076591 creator A5037894557 @default.
- W1559076591 creator A5058847017 @default.
- W1559076591 date "1996-01-01" @default.
- W1559076591 modified "2023-09-26" @default.
- W1559076591 title "Global control for partial deduction through characteristic atoms and global trees" @default.
- W1559076591 cites W1522948470 @default.
- W1559076591 cites W153405243 @default.
- W1559076591 cites W1572344684 @default.
- W1559076591 cites W1624796000 @default.
- W1559076591 cites W1846522280 @default.
- W1559076591 cites W1985933047 @default.
- W1559076591 cites W1988185893 @default.
- W1559076591 cites W1991589943 @default.
- W1559076591 cites W2008662807 @default.
- W1559076591 cites W2020024606 @default.
- W1559076591 cites W2037035101 @default.
- W1559076591 cites W2135124683 @default.
- W1559076591 cites W2143044990 @default.
- W1559076591 cites W3022794709 @default.
- W1559076591 cites W4206370914 @default.
- W1559076591 doi "https://doi.org/10.1007/3-540-61580-6_13" @default.
- W1559076591 hasPublicationYear "1996" @default.
- W1559076591 type Work @default.
- W1559076591 sameAs 1559076591 @default.
- W1559076591 citedByCount "35" @default.
- W1559076591 countsByYear W15590765912013 @default.
- W1559076591 countsByYear W15590765912016 @default.
- W1559076591 countsByYear W15590765912018 @default.
- W1559076591 countsByYear W15590765912019 @default.
- W1559076591 countsByYear W15590765912022 @default.
- W1559076591 crossrefType "book-chapter" @default.
- W1559076591 hasAuthorship W1559076591A5037894557 @default.
- W1559076591 hasAuthorship W1559076591A5058847017 @default.
- W1559076591 hasBestOaLocation W15590765912 @default.
- W1559076591 hasConcept C113174947 @default.
- W1559076591 hasConcept C11413529 @default.
- W1559076591 hasConcept C114614502 @default.
- W1559076591 hasConcept C118615104 @default.
- W1559076591 hasConcept C138885662 @default.
- W1559076591 hasConcept C154945302 @default.
- W1559076591 hasConcept C195701839 @default.
- W1559076591 hasConcept C2775924081 @default.
- W1559076591 hasConcept C2780990831 @default.
- W1559076591 hasConcept C33923547 @default.
- W1559076591 hasConcept C41008148 @default.
- W1559076591 hasConcept C41895202 @default.
- W1559076591 hasConcept C75291252 @default.
- W1559076591 hasConcept C80444323 @default.
- W1559076591 hasConceptScore W1559076591C113174947 @default.
- W1559076591 hasConceptScore W1559076591C11413529 @default.
- W1559076591 hasConceptScore W1559076591C114614502 @default.
- W1559076591 hasConceptScore W1559076591C118615104 @default.
- W1559076591 hasConceptScore W1559076591C138885662 @default.
- W1559076591 hasConceptScore W1559076591C154945302 @default.
- W1559076591 hasConceptScore W1559076591C195701839 @default.
- W1559076591 hasConceptScore W1559076591C2775924081 @default.
- W1559076591 hasConceptScore W1559076591C2780990831 @default.
- W1559076591 hasConceptScore W1559076591C33923547 @default.
- W1559076591 hasConceptScore W1559076591C41008148 @default.
- W1559076591 hasConceptScore W1559076591C41895202 @default.
- W1559076591 hasConceptScore W1559076591C75291252 @default.
- W1559076591 hasConceptScore W1559076591C80444323 @default.
- W1559076591 hasLocation W15590765911 @default.
- W1559076591 hasLocation W15590765912 @default.
- W1559076591 hasOpenAccess W1559076591 @default.
- W1559076591 hasPrimaryLocation W15590765911 @default.
- W1559076591 hasRelatedWork W1483845062 @default.
- W1559076591 hasRelatedWork W1575330229 @default.
- W1559076591 hasRelatedWork W1584304702 @default.
- W1559076591 hasRelatedWork W2383986235 @default.
- W1559076591 hasRelatedWork W2390095984 @default.
- W1559076591 hasRelatedWork W2788859766 @default.
- W1559076591 hasRelatedWork W3007092120 @default.
- W1559076591 hasRelatedWork W3007745445 @default.
- W1559076591 hasRelatedWork W3106424691 @default.
- W1559076591 hasRelatedWork W2464849962 @default.
- W1559076591 isParatext "false" @default.
- W1559076591 isRetracted "false" @default.
- W1559076591 magId "1559076591" @default.
- W1559076591 workType "book-chapter" @default.