Matches in SemOpenAlex for { <https://semopenalex.org/work/W1614537596> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1614537596 endingPage "201" @default.
- W1614537596 startingPage "187" @default.
- W1614537596 abstract "The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than the source program. Several authors have investigated the problem of setting up conditions of syntactic nature, i.e. not based on some well-founded ordering of the arguments, which guarantee preservation of termination properties. These conditions are typically formulated in a way which makes it hard to grasp the basic intuition why they work, and in a way which makes it hard to give elegant proofs of correctness. The aim of this paper will be to give a more unified treatment by setting up a model which enables us to reason about termination preservation in a cleaner and more algebraic fashion. The model resembles a logic language and is parametrized with respect to evaluation order, but it should not be too difficult to transfer the ideas to other languages." @default.
- W1614537596 created "2016-06-24" @default.
- W1614537596 creator A5012630006 @default.
- W1614537596 date "2006-07-13" @default.
- W1614537596 modified "2023-09-23" @default.
- W1614537596 title "Unfold/fold transformations preserving termination properties" @default.
- W1614537596 cites W1531044637 @default.
- W1614537596 cites W1541122795 @default.
- W1614537596 cites W1541434994 @default.
- W1614537596 cites W1562307676 @default.
- W1614537596 cites W1566176171 @default.
- W1614537596 cites W159715351 @default.
- W1614537596 cites W1604215041 @default.
- W1614537596 cites W16194962 @default.
- W1614537596 cites W1822804319 @default.
- W1614537596 cites W1975952423 @default.
- W1614537596 cites W2001937661 @default.
- W1614537596 cites W2020024606 @default.
- W1614537596 cites W2023299380 @default.
- W1614537596 cites W2084099544 @default.
- W1614537596 cites W2090036644 @default.
- W1614537596 cites W2113991923 @default.
- W1614537596 cites W2119656676 @default.
- W1614537596 cites W2208923056 @default.
- W1614537596 cites W2912956306 @default.
- W1614537596 cites W3163229952 @default.
- W1614537596 cites W159177291 @default.
- W1614537596 doi "https://doi.org/10.1007/3-540-55844-6_136" @default.
- W1614537596 hasPublicationYear "2006" @default.
- W1614537596 type Work @default.
- W1614537596 sameAs 1614537596 @default.
- W1614537596 citedByCount "5" @default.
- W1614537596 crossrefType "book-chapter" @default.
- W1614537596 hasAuthorship W1614537596A5012630006 @default.
- W1614537596 hasBestOaLocation W16145375962 @default.
- W1614537596 hasConcept C108710211 @default.
- W1614537596 hasConcept C111472728 @default.
- W1614537596 hasConcept C132010649 @default.
- W1614537596 hasConcept C138885662 @default.
- W1614537596 hasConcept C142362112 @default.
- W1614537596 hasConcept C153349607 @default.
- W1614537596 hasConcept C171268870 @default.
- W1614537596 hasConcept C174348530 @default.
- W1614537596 hasConcept C199343813 @default.
- W1614537596 hasConcept C199360897 @default.
- W1614537596 hasConcept C2524010 @default.
- W1614537596 hasConcept C2777686260 @default.
- W1614537596 hasConcept C2778361913 @default.
- W1614537596 hasConcept C31258907 @default.
- W1614537596 hasConcept C33923547 @default.
- W1614537596 hasConcept C41008148 @default.
- W1614537596 hasConcept C55439883 @default.
- W1614537596 hasConcept C558565934 @default.
- W1614537596 hasConcept C71924100 @default.
- W1614537596 hasConcept C73301696 @default.
- W1614537596 hasConcept C80444323 @default.
- W1614537596 hasConceptScore W1614537596C108710211 @default.
- W1614537596 hasConceptScore W1614537596C111472728 @default.
- W1614537596 hasConceptScore W1614537596C132010649 @default.
- W1614537596 hasConceptScore W1614537596C138885662 @default.
- W1614537596 hasConceptScore W1614537596C142362112 @default.
- W1614537596 hasConceptScore W1614537596C153349607 @default.
- W1614537596 hasConceptScore W1614537596C171268870 @default.
- W1614537596 hasConceptScore W1614537596C174348530 @default.
- W1614537596 hasConceptScore W1614537596C199343813 @default.
- W1614537596 hasConceptScore W1614537596C199360897 @default.
- W1614537596 hasConceptScore W1614537596C2524010 @default.
- W1614537596 hasConceptScore W1614537596C2777686260 @default.
- W1614537596 hasConceptScore W1614537596C2778361913 @default.
- W1614537596 hasConceptScore W1614537596C31258907 @default.
- W1614537596 hasConceptScore W1614537596C33923547 @default.
- W1614537596 hasConceptScore W1614537596C41008148 @default.
- W1614537596 hasConceptScore W1614537596C55439883 @default.
- W1614537596 hasConceptScore W1614537596C558565934 @default.
- W1614537596 hasConceptScore W1614537596C71924100 @default.
- W1614537596 hasConceptScore W1614537596C73301696 @default.
- W1614537596 hasConceptScore W1614537596C80444323 @default.
- W1614537596 hasLocation W16145375961 @default.
- W1614537596 hasLocation W16145375962 @default.
- W1614537596 hasOpenAccess W1614537596 @default.
- W1614537596 hasPrimaryLocation W16145375961 @default.
- W1614537596 hasRelatedWork W1515562936 @default.
- W1614537596 hasRelatedWork W1558874663 @default.
- W1614537596 hasRelatedWork W1614537596 @default.
- W1614537596 hasRelatedWork W2613840268 @default.
- W1614537596 hasRelatedWork W2898267029 @default.
- W1614537596 hasRelatedWork W2973978040 @default.
- W1614537596 hasRelatedWork W3048095579 @default.
- W1614537596 hasRelatedWork W3089305218 @default.
- W1614537596 hasRelatedWork W3099800985 @default.
- W1614537596 hasRelatedWork W4238823939 @default.
- W1614537596 isParatext "false" @default.
- W1614537596 isRetracted "false" @default.
- W1614537596 magId "1614537596" @default.
- W1614537596 workType "book-chapter" @default.