Matches in SemOpenAlex for { <https://semopenalex.org/work/W1853649213> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1853649213 abstract "We consider the replacement transformation operation, a very general and powerful transformation, and study under which conditions it preserves universal termination besides computed answer substitutions. With this safe replacement we can significantly extend the safe unfold/fold transformation sequence presented in [11]. By exploiting typing information, more useful conditions can be defined and we may deal with some special cases of replacement very common in practice, namely switching two atoms in the body of a clause and the associativity of a predicate. This is a first step in the direction of exploiting a Pre/Post specification on the intended use of the program to be transformed. Such specification can restrict the instances of queries and clauses to be considered and then relax the applicability conditions on the transformation operations." @default.
- W1853649213 created "2016-06-24" @default.
- W1853649213 creator A5030853031 @default.
- W1853649213 creator A5041306556 @default.
- W1853649213 date "1997-01-01" @default.
- W1853649213 modified "2023-09-27" @default.
- W1853649213 title "Replacement can preserve termination" @default.
- W1853649213 cites W1510115975 @default.
- W1853649213 cites W1562575382 @default.
- W1853649213 cites W1563640839 @default.
- W1853649213 cites W1568500344 @default.
- W1853649213 cites W1581336022 @default.
- W1853649213 cites W1604215041 @default.
- W1853649213 cites W1973422757 @default.
- W1853649213 cites W1975952423 @default.
- W1853649213 cites W1980047375 @default.
- W1853649213 cites W1988185893 @default.
- W1853649213 cites W1993075518 @default.
- W1853649213 cites W2009165202 @default.
- W1853649213 cites W2032672695 @default.
- W1853649213 cites W2037035101 @default.
- W1853649213 cites W2105594444 @default.
- W1853649213 cites W2118483018 @default.
- W1853649213 cites W2256997342 @default.
- W1853649213 cites W4206370914 @default.
- W1853649213 cites W1601050161 @default.
- W1853649213 doi "https://doi.org/10.1007/3-540-62718-9_7" @default.
- W1853649213 hasPublicationYear "1997" @default.
- W1853649213 type Work @default.
- W1853649213 sameAs 1853649213 @default.
- W1853649213 citedByCount "10" @default.
- W1853649213 crossrefType "book-chapter" @default.
- W1853649213 hasAuthorship W1853649213A5030853031 @default.
- W1853649213 hasAuthorship W1853649213A5041306556 @default.
- W1853649213 hasConcept C104317684 @default.
- W1853649213 hasConcept C11413529 @default.
- W1853649213 hasConcept C140146324 @default.
- W1853649213 hasConcept C159423971 @default.
- W1853649213 hasConcept C185592680 @default.
- W1853649213 hasConcept C199360897 @default.
- W1853649213 hasConcept C202444582 @default.
- W1853649213 hasConcept C204241405 @default.
- W1853649213 hasConcept C2778112365 @default.
- W1853649213 hasConcept C2778361913 @default.
- W1853649213 hasConcept C33923547 @default.
- W1853649213 hasConcept C41008148 @default.
- W1853649213 hasConcept C54355233 @default.
- W1853649213 hasConcept C55493867 @default.
- W1853649213 hasConcept C80444323 @default.
- W1853649213 hasConcept C86803240 @default.
- W1853649213 hasConceptScore W1853649213C104317684 @default.
- W1853649213 hasConceptScore W1853649213C11413529 @default.
- W1853649213 hasConceptScore W1853649213C140146324 @default.
- W1853649213 hasConceptScore W1853649213C159423971 @default.
- W1853649213 hasConceptScore W1853649213C185592680 @default.
- W1853649213 hasConceptScore W1853649213C199360897 @default.
- W1853649213 hasConceptScore W1853649213C202444582 @default.
- W1853649213 hasConceptScore W1853649213C204241405 @default.
- W1853649213 hasConceptScore W1853649213C2778112365 @default.
- W1853649213 hasConceptScore W1853649213C2778361913 @default.
- W1853649213 hasConceptScore W1853649213C33923547 @default.
- W1853649213 hasConceptScore W1853649213C41008148 @default.
- W1853649213 hasConceptScore W1853649213C54355233 @default.
- W1853649213 hasConceptScore W1853649213C55493867 @default.
- W1853649213 hasConceptScore W1853649213C80444323 @default.
- W1853649213 hasConceptScore W1853649213C86803240 @default.
- W1853649213 hasLocation W18536492131 @default.
- W1853649213 hasOpenAccess W1853649213 @default.
- W1853649213 hasPrimaryLocation W18536492131 @default.
- W1853649213 hasRelatedWork W1482061011 @default.
- W1853649213 hasRelatedWork W1487533857 @default.
- W1853649213 hasRelatedWork W1501453246 @default.
- W1853649213 hasRelatedWork W1510115975 @default.
- W1853649213 hasRelatedWork W1515877009 @default.
- W1853649213 hasRelatedWork W1531044637 @default.
- W1853649213 hasRelatedWork W153405243 @default.
- W1853649213 hasRelatedWork W1541434994 @default.
- W1853649213 hasRelatedWork W1624796000 @default.
- W1853649213 hasRelatedWork W1975952423 @default.
- W1853649213 hasRelatedWork W1988185893 @default.
- W1853649213 hasRelatedWork W1995270677 @default.
- W1853649213 hasRelatedWork W2020024606 @default.
- W1853649213 hasRelatedWork W2023299380 @default.
- W1853649213 hasRelatedWork W2037035101 @default.
- W1853649213 hasRelatedWork W2104060136 @default.
- W1853649213 hasRelatedWork W2113991923 @default.
- W1853649213 hasRelatedWork W2118383426 @default.
- W1853649213 hasRelatedWork W2137818097 @default.
- W1853649213 hasRelatedWork W2139887734 @default.
- W1853649213 isParatext "false" @default.
- W1853649213 isRetracted "false" @default.
- W1853649213 magId "1853649213" @default.
- W1853649213 workType "book-chapter" @default.