Matches in SemOpenAlex for { <https://semopenalex.org/work/W2118730676> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2118730676 abstract "Deforestation is a transformation of functional programs to remove intermediate data structures. It is based on outermost unfolding of function calls where folding is introduced to avoid repeated unfolding of the same expression. Since unrestricted unfolding may encounter arbitrarily many terms, a termination analysis has to determine those subterms where unfolding is possibly dangerous. We show that such an analysis can be obtained from a control flow analysis by an extension with integer constraints — essentially at no loss in efficiency." @default.
- W2118730676 created "2016-06-24" @default.
- W2118730676 creator A5080676686 @default.
- W2118730676 date "1996-01-01" @default.
- W2118730676 modified "2023-09-26" @default.
- W2118730676 title "Integer constraints to stop deforestation" @default.
- W2118730676 cites W1509231339 @default.
- W2118730676 cites W1986749897 @default.
- W2118730676 cites W2021986357 @default.
- W2118730676 cites W2044549124 @default.
- W2118730676 cites W2052440299 @default.
- W2118730676 cites W2065403304 @default.
- W2118730676 cites W2068711880 @default.
- W2118730676 cites W2208923056 @default.
- W2118730676 doi "https://doi.org/10.1007/3-540-61055-3_46" @default.
- W2118730676 hasPublicationYear "1996" @default.
- W2118730676 type Work @default.
- W2118730676 sameAs 2118730676 @default.
- W2118730676 citedByCount "9" @default.
- W2118730676 crossrefType "book-chapter" @default.
- W2118730676 hasAuthorship W2118730676A5080676686 @default.
- W2118730676 hasBestOaLocation W21187306761 @default.
- W2118730676 hasConcept C104317684 @default.
- W2118730676 hasConcept C11413529 @default.
- W2118730676 hasConcept C119599485 @default.
- W2118730676 hasConcept C126255220 @default.
- W2118730676 hasConcept C127413603 @default.
- W2118730676 hasConcept C14036430 @default.
- W2118730676 hasConcept C160191386 @default.
- W2118730676 hasConcept C173608175 @default.
- W2118730676 hasConcept C185592680 @default.
- W2118730676 hasConcept C199360897 @default.
- W2118730676 hasConcept C204241405 @default.
- W2118730676 hasConcept C2776545253 @default.
- W2118730676 hasConcept C2777399953 @default.
- W2118730676 hasConcept C2778029271 @default.
- W2118730676 hasConcept C33923547 @default.
- W2118730676 hasConcept C41008148 @default.
- W2118730676 hasConcept C55493867 @default.
- W2118730676 hasConcept C78458016 @default.
- W2118730676 hasConcept C80444323 @default.
- W2118730676 hasConcept C86803240 @default.
- W2118730676 hasConcept C97137487 @default.
- W2118730676 hasConceptScore W2118730676C104317684 @default.
- W2118730676 hasConceptScore W2118730676C11413529 @default.
- W2118730676 hasConceptScore W2118730676C119599485 @default.
- W2118730676 hasConceptScore W2118730676C126255220 @default.
- W2118730676 hasConceptScore W2118730676C127413603 @default.
- W2118730676 hasConceptScore W2118730676C14036430 @default.
- W2118730676 hasConceptScore W2118730676C160191386 @default.
- W2118730676 hasConceptScore W2118730676C173608175 @default.
- W2118730676 hasConceptScore W2118730676C185592680 @default.
- W2118730676 hasConceptScore W2118730676C199360897 @default.
- W2118730676 hasConceptScore W2118730676C204241405 @default.
- W2118730676 hasConceptScore W2118730676C2776545253 @default.
- W2118730676 hasConceptScore W2118730676C2777399953 @default.
- W2118730676 hasConceptScore W2118730676C2778029271 @default.
- W2118730676 hasConceptScore W2118730676C33923547 @default.
- W2118730676 hasConceptScore W2118730676C41008148 @default.
- W2118730676 hasConceptScore W2118730676C55493867 @default.
- W2118730676 hasConceptScore W2118730676C78458016 @default.
- W2118730676 hasConceptScore W2118730676C80444323 @default.
- W2118730676 hasConceptScore W2118730676C86803240 @default.
- W2118730676 hasConceptScore W2118730676C97137487 @default.
- W2118730676 hasLocation W21187306761 @default.
- W2118730676 hasOpenAccess W2118730676 @default.
- W2118730676 hasPrimaryLocation W21187306761 @default.
- W2118730676 hasRelatedWork W10225660 @default.
- W2118730676 hasRelatedWork W1480753098 @default.
- W2118730676 hasRelatedWork W154739534 @default.
- W2118730676 hasRelatedWork W1606456853 @default.
- W2118730676 hasRelatedWork W1881030539 @default.
- W2118730676 hasRelatedWork W1966981171 @default.
- W2118730676 hasRelatedWork W1979299346 @default.
- W2118730676 hasRelatedWork W1986749897 @default.
- W2118730676 hasRelatedWork W1988932014 @default.
- W2118730676 hasRelatedWork W1990403418 @default.
- W2118730676 hasRelatedWork W2009332552 @default.
- W2118730676 hasRelatedWork W2023299380 @default.
- W2118730676 hasRelatedWork W2060717017 @default.
- W2118730676 hasRelatedWork W2091762291 @default.
- W2118730676 hasRelatedWork W2110028921 @default.
- W2118730676 hasRelatedWork W2117818027 @default.
- W2118730676 hasRelatedWork W2144037748 @default.
- W2118730676 hasRelatedWork W2208923056 @default.
- W2118730676 hasRelatedWork W66278423 @default.
- W2118730676 hasRelatedWork W1492693480 @default.
- W2118730676 isParatext "false" @default.
- W2118730676 isRetracted "false" @default.
- W2118730676 magId "2118730676" @default.
- W2118730676 workType "book-chapter" @default.