Matches in SemOpenAlex for { <https://semopenalex.org/work/W2029383818> ?p ?o ?g. }
- W2029383818 endingPage "48" @default.
- W2029383818 startingPage "1" @default.
- W2029383818 abstract "This article describes an approach to program optimization based on transformations, where temporal logic is used to specify side conditions, and strategies are created which expand the repertoire of transformations and provide a suitable level of abstraction. We demonstrate the power of this approach by developing a set of optimizations using our transformation language and showing how the transformations can be converted into a form which makes it easier to apply them, while maintaining trust in the resulting optimizing steps. The approach is illustrated through a transformational case study where we apply several optimizations to a small program." @default.
- W2029383818 created "2016-06-24" @default.
- W2029383818 creator A5057117767 @default.
- W2029383818 creator A5067951493 @default.
- W2029383818 creator A5072565778 @default.
- W2029383818 date "2009-05-01" @default.
- W2029383818 modified "2023-10-18" @default.
- W2029383818 title "Program transformations using temporal logic side conditions" @default.
- W2029383818 cites W1489902298 @default.
- W2029383818 cites W1964193719 @default.
- W2029383818 cites W1978948468 @default.
- W2029383818 cites W1994143452 @default.
- W2029383818 cites W2015640848 @default.
- W2029383818 cites W2025317174 @default.
- W2029383818 cites W2075425792 @default.
- W2029383818 cites W2080267935 @default.
- W2029383818 cites W2088056808 @default.
- W2029383818 cites W2089323323 @default.
- W2029383818 cites W2098688018 @default.
- W2029383818 cites W2098873146 @default.
- W2029383818 cites W2102890180 @default.
- W2029383818 cites W2110423393 @default.
- W2029383818 cites W2117189826 @default.
- W2029383818 cites W2120339017 @default.
- W2029383818 cites W2127919458 @default.
- W2029383818 cites W2140529677 @default.
- W2029383818 cites W2144540543 @default.
- W2029383818 cites W2145913834 @default.
- W2029383818 cites W4230942288 @default.
- W2029383818 cites W4237919697 @default.
- W2029383818 cites W4245921527 @default.
- W2029383818 cites W4247332426 @default.
- W2029383818 cites W4248889516 @default.
- W2029383818 doi "https://doi.org/10.1145/1516507.1516509" @default.
- W2029383818 hasPublicationYear "2009" @default.
- W2029383818 type Work @default.
- W2029383818 sameAs 2029383818 @default.
- W2029383818 citedByCount "21" @default.
- W2029383818 countsByYear W20293838182014 @default.
- W2029383818 countsByYear W20293838182016 @default.
- W2029383818 countsByYear W20293838182017 @default.
- W2029383818 countsByYear W20293838182020 @default.
- W2029383818 countsByYear W20293838182021 @default.
- W2029383818 countsByYear W20293838182023 @default.
- W2029383818 crossrefType "journal-article" @default.
- W2029383818 hasAuthorship W2029383818A5057117767 @default.
- W2029383818 hasAuthorship W2029383818A5067951493 @default.
- W2029383818 hasAuthorship W2029383818A5072565778 @default.
- W2029383818 hasBestOaLocation W20293838181 @default.
- W2029383818 hasConcept C104317684 @default.
- W2029383818 hasConcept C111472728 @default.
- W2029383818 hasConcept C124304363 @default.
- W2029383818 hasConcept C128838566 @default.
- W2029383818 hasConcept C138885662 @default.
- W2029383818 hasConcept C177264268 @default.
- W2029383818 hasConcept C17744445 @default.
- W2029383818 hasConcept C185592680 @default.
- W2029383818 hasConcept C195818886 @default.
- W2029383818 hasConcept C199360897 @default.
- W2029383818 hasConcept C204241405 @default.
- W2029383818 hasConcept C25016198 @default.
- W2029383818 hasConcept C2778361913 @default.
- W2029383818 hasConcept C2987117450 @default.
- W2029383818 hasConcept C38775462 @default.
- W2029383818 hasConcept C39549134 @default.
- W2029383818 hasConcept C41008148 @default.
- W2029383818 hasConcept C55493867 @default.
- W2029383818 hasConcept C80444323 @default.
- W2029383818 hasConceptScore W2029383818C104317684 @default.
- W2029383818 hasConceptScore W2029383818C111472728 @default.
- W2029383818 hasConceptScore W2029383818C124304363 @default.
- W2029383818 hasConceptScore W2029383818C128838566 @default.
- W2029383818 hasConceptScore W2029383818C138885662 @default.
- W2029383818 hasConceptScore W2029383818C177264268 @default.
- W2029383818 hasConceptScore W2029383818C17744445 @default.
- W2029383818 hasConceptScore W2029383818C185592680 @default.
- W2029383818 hasConceptScore W2029383818C195818886 @default.
- W2029383818 hasConceptScore W2029383818C199360897 @default.
- W2029383818 hasConceptScore W2029383818C204241405 @default.
- W2029383818 hasConceptScore W2029383818C25016198 @default.
- W2029383818 hasConceptScore W2029383818C2778361913 @default.
- W2029383818 hasConceptScore W2029383818C2987117450 @default.
- W2029383818 hasConceptScore W2029383818C38775462 @default.
- W2029383818 hasConceptScore W2029383818C39549134 @default.
- W2029383818 hasConceptScore W2029383818C41008148 @default.
- W2029383818 hasConceptScore W2029383818C55493867 @default.
- W2029383818 hasConceptScore W2029383818C80444323 @default.
- W2029383818 hasFunder F4320334627 @default.
- W2029383818 hasIssue "4" @default.
- W2029383818 hasLocation W20293838181 @default.
- W2029383818 hasLocation W20293838182 @default.
- W2029383818 hasLocation W20293838183 @default.
- W2029383818 hasOpenAccess W2029383818 @default.
- W2029383818 hasPrimaryLocation W20293838181 @default.
- W2029383818 hasRelatedWork W1494913990 @default.
- W2029383818 hasRelatedWork W1517456004 @default.
- W2029383818 hasRelatedWork W1597062518 @default.
- W2029383818 hasRelatedWork W1998586093 @default.