Matches in SemOpenAlex for { <https://semopenalex.org/work/W2104060136> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2104060136 abstract "An Unfold/Fold transformation system is a source-to-source rewriting methodology devised to improve the efficiency of a program. Any such transformation should preserve the main properties of the initial program: among them, termination. When dealing with logic programs such as PROLOG programs, one is particularly interested in preserving left termination i.e. termination wrt the leftmost selection rule, which is by far the most widely employed of the search rules. Unfortunately, the most popular Unfold/Fold transformation systems ([TS84, Sek91]) do not preserve the above termination property. In this paper we study the reasons why left termination may be spoiled by the application of a transformation operation and we present a transformation system based on the operations of Unfold, Fold and Switch which — if applied to a left terminating programs — yields a program which is left terminating as well." @default.
- W2104060136 created "2016-06-24" @default.
- W2104060136 creator A5030853031 @default.
- W2104060136 creator A5041306556 @default.
- W2104060136 creator A5052389888 @default.
- W2104060136 date "1996-01-01" @default.
- W2104060136 modified "2023-09-27" @default.
- W2104060136 title "Transformation of left terminating programs: The reordering problem" @default.
- W2104060136 cites W1480610117 @default.
- W2104060136 cites W1551870799 @default.
- W2104060136 cites W1568500344 @default.
- W2104060136 cites W1975952423 @default.
- W2104060136 cites W1980047375 @default.
- W2104060136 cites W1995270677 @default.
- W2104060136 cites W2001937661 @default.
- W2104060136 cites W2023299380 @default.
- W2104060136 cites W2056168527 @default.
- W2104060136 cites W2105594444 @default.
- W2104060136 cites W2113991923 @default.
- W2104060136 cites W2120869002 @default.
- W2104060136 cites W2139887734 @default.
- W2104060136 cites W4206370914 @default.
- W2104060136 doi "https://doi.org/10.1007/3-540-60939-3_3" @default.
- W2104060136 hasPublicationYear "1996" @default.
- W2104060136 type Work @default.
- W2104060136 sameAs 2104060136 @default.
- W2104060136 citedByCount "16" @default.
- W2104060136 crossrefType "book-chapter" @default.
- W2104060136 hasAuthorship W2104060136A5030853031 @default.
- W2104060136 hasAuthorship W2104060136A5041306556 @default.
- W2104060136 hasAuthorship W2104060136A5052389888 @default.
- W2104060136 hasBestOaLocation W21040601362 @default.
- W2104060136 hasConcept C104317684 @default.
- W2104060136 hasConcept C111472728 @default.
- W2104060136 hasConcept C11413529 @default.
- W2104060136 hasConcept C128838566 @default.
- W2104060136 hasConcept C138885662 @default.
- W2104060136 hasConcept C154690210 @default.
- W2104060136 hasConcept C154945302 @default.
- W2104060136 hasConcept C159333733 @default.
- W2104060136 hasConcept C185592680 @default.
- W2104060136 hasConcept C189950617 @default.
- W2104060136 hasConcept C199360897 @default.
- W2104060136 hasConcept C204241405 @default.
- W2104060136 hasConcept C2776436953 @default.
- W2104060136 hasConcept C2778361913 @default.
- W2104060136 hasConcept C2779791154 @default.
- W2104060136 hasConcept C2987117450 @default.
- W2104060136 hasConcept C41008148 @default.
- W2104060136 hasConcept C55493867 @default.
- W2104060136 hasConcept C80444323 @default.
- W2104060136 hasConcept C81721847 @default.
- W2104060136 hasConceptScore W2104060136C104317684 @default.
- W2104060136 hasConceptScore W2104060136C111472728 @default.
- W2104060136 hasConceptScore W2104060136C11413529 @default.
- W2104060136 hasConceptScore W2104060136C128838566 @default.
- W2104060136 hasConceptScore W2104060136C138885662 @default.
- W2104060136 hasConceptScore W2104060136C154690210 @default.
- W2104060136 hasConceptScore W2104060136C154945302 @default.
- W2104060136 hasConceptScore W2104060136C159333733 @default.
- W2104060136 hasConceptScore W2104060136C185592680 @default.
- W2104060136 hasConceptScore W2104060136C189950617 @default.
- W2104060136 hasConceptScore W2104060136C199360897 @default.
- W2104060136 hasConceptScore W2104060136C204241405 @default.
- W2104060136 hasConceptScore W2104060136C2776436953 @default.
- W2104060136 hasConceptScore W2104060136C2778361913 @default.
- W2104060136 hasConceptScore W2104060136C2779791154 @default.
- W2104060136 hasConceptScore W2104060136C2987117450 @default.
- W2104060136 hasConceptScore W2104060136C41008148 @default.
- W2104060136 hasConceptScore W2104060136C55493867 @default.
- W2104060136 hasConceptScore W2104060136C80444323 @default.
- W2104060136 hasConceptScore W2104060136C81721847 @default.
- W2104060136 hasLocation W21040601361 @default.
- W2104060136 hasLocation W21040601362 @default.
- W2104060136 hasOpenAccess W2104060136 @default.
- W2104060136 hasPrimaryLocation W21040601361 @default.
- W2104060136 hasRelatedWork W1501453246 @default.
- W2104060136 hasRelatedWork W1510115975 @default.
- W2104060136 hasRelatedWork W1515877009 @default.
- W2104060136 hasRelatedWork W1531044637 @default.
- W2104060136 hasRelatedWork W153405243 @default.
- W2104060136 hasRelatedWork W1535866213 @default.
- W2104060136 hasRelatedWork W1541434994 @default.
- W2104060136 hasRelatedWork W1556604985 @default.
- W2104060136 hasRelatedWork W1568484765 @default.
- W2104060136 hasRelatedWork W1572344684 @default.
- W2104060136 hasRelatedWork W170899383 @default.
- W2104060136 hasRelatedWork W1853649213 @default.
- W2104060136 hasRelatedWork W1985933047 @default.
- W2104060136 hasRelatedWork W1988185893 @default.
- W2104060136 hasRelatedWork W2023299380 @default.
- W2104060136 hasRelatedWork W2037035101 @default.
- W2104060136 hasRelatedWork W2048831705 @default.
- W2104060136 hasRelatedWork W2113991923 @default.
- W2104060136 hasRelatedWork W2135124683 @default.
- W2104060136 hasRelatedWork W31561947 @default.
- W2104060136 isParatext "false" @default.
- W2104060136 isRetracted "false" @default.
- W2104060136 magId "2104060136" @default.
- W2104060136 workType "book-chapter" @default.