Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022693109> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2022693109 endingPage "346" @default.
- W2022693109 startingPage "319" @default.
- W2022693109 abstract "Destructive array update optimization is critical for writing scientific codes in functional languages. We present set constraints for an interprocedural update optimization that runs in polynomial time. This is a multi-pass optimization, involving interprocedural flow analyses for aliasing and liveness. We characterize and prove the soundness of these analyses using small-step operational semantics. We also prove that any sound liveness analysis induces a correct program transformation." @default.
- W2022693109 created "2016-06-24" @default.
- W2022693109 creator A5031215251 @default.
- W2022693109 creator A5058990714 @default.
- W2022693109 date "2001-05-01" @default.
- W2022693109 modified "2023-10-18" @default.
- W2022693109 title "Set constraints for destructive array update optimization" @default.
- W2022693109 cites W10127936 @default.
- W2022693109 cites W1491178396 @default.
- W2022693109 cites W1516382534 @default.
- W2022693109 cites W1532892735 @default.
- W2022693109 cites W1599217540 @default.
- W2022693109 cites W1967031800 @default.
- W2022693109 cites W1973068315 @default.
- W2022693109 cites W1985450085 @default.
- W2022693109 cites W2004419599 @default.
- W2022693109 cites W2032277118 @default.
- W2022693109 cites W2043100293 @default.
- W2022693109 cites W2053513491 @default.
- W2022693109 cites W2062823821 @default.
- W2022693109 cites W2065547819 @default.
- W2022693109 cites W2068711880 @default.
- W2022693109 cites W2082317069 @default.
- W2022693109 cites W2085017141 @default.
- W2022693109 cites W2103933902 @default.
- W2022693109 cites W1540716578 @default.
- W2022693109 doi "https://doi.org/10.1017/s0956796801003938" @default.
- W2022693109 hasPublicationYear "2001" @default.
- W2022693109 type Work @default.
- W2022693109 sameAs 2022693109 @default.
- W2022693109 citedByCount "13" @default.
- W2022693109 countsByYear W20226931092013 @default.
- W2022693109 countsByYear W20226931092021 @default.
- W2022693109 crossrefType "journal-article" @default.
- W2022693109 hasAuthorship W2022693109A5031215251 @default.
- W2022693109 hasAuthorship W2022693109A5058990714 @default.
- W2022693109 hasBestOaLocation W20226931091 @default.
- W2022693109 hasConcept C104317684 @default.
- W2022693109 hasConcept C106131492 @default.
- W2022693109 hasConcept C11413529 @default.
- W2022693109 hasConcept C139571649 @default.
- W2022693109 hasConcept C15569618 @default.
- W2022693109 hasConcept C169590947 @default.
- W2022693109 hasConcept C177264268 @default.
- W2022693109 hasConcept C184337299 @default.
- W2022693109 hasConcept C185592680 @default.
- W2022693109 hasConcept C199360897 @default.
- W2022693109 hasConcept C204241405 @default.
- W2022693109 hasConcept C2778361913 @default.
- W2022693109 hasConcept C31972630 @default.
- W2022693109 hasConcept C39920170 @default.
- W2022693109 hasConcept C4069607 @default.
- W2022693109 hasConcept C41008148 @default.
- W2022693109 hasConcept C42383842 @default.
- W2022693109 hasConcept C55493867 @default.
- W2022693109 hasConcept C80444323 @default.
- W2022693109 hasConcept C98183937 @default.
- W2022693109 hasConceptScore W2022693109C104317684 @default.
- W2022693109 hasConceptScore W2022693109C106131492 @default.
- W2022693109 hasConceptScore W2022693109C11413529 @default.
- W2022693109 hasConceptScore W2022693109C139571649 @default.
- W2022693109 hasConceptScore W2022693109C15569618 @default.
- W2022693109 hasConceptScore W2022693109C169590947 @default.
- W2022693109 hasConceptScore W2022693109C177264268 @default.
- W2022693109 hasConceptScore W2022693109C184337299 @default.
- W2022693109 hasConceptScore W2022693109C185592680 @default.
- W2022693109 hasConceptScore W2022693109C199360897 @default.
- W2022693109 hasConceptScore W2022693109C204241405 @default.
- W2022693109 hasConceptScore W2022693109C2778361913 @default.
- W2022693109 hasConceptScore W2022693109C31972630 @default.
- W2022693109 hasConceptScore W2022693109C39920170 @default.
- W2022693109 hasConceptScore W2022693109C4069607 @default.
- W2022693109 hasConceptScore W2022693109C41008148 @default.
- W2022693109 hasConceptScore W2022693109C42383842 @default.
- W2022693109 hasConceptScore W2022693109C55493867 @default.
- W2022693109 hasConceptScore W2022693109C80444323 @default.
- W2022693109 hasConceptScore W2022693109C98183937 @default.
- W2022693109 hasIssue "3" @default.
- W2022693109 hasLocation W20226931091 @default.
- W2022693109 hasOpenAccess W2022693109 @default.
- W2022693109 hasPrimaryLocation W20226931091 @default.
- W2022693109 hasRelatedWork W135379672 @default.
- W2022693109 hasRelatedWork W1484092744 @default.
- W2022693109 hasRelatedWork W1587224678 @default.
- W2022693109 hasRelatedWork W2022693109 @default.
- W2022693109 hasRelatedWork W2119456203 @default.
- W2022693109 hasRelatedWork W2524310722 @default.
- W2022693109 hasRelatedWork W2912642237 @default.
- W2022693109 hasRelatedWork W4205743188 @default.
- W2022693109 hasRelatedWork W2585545025 @default.
- W2022693109 hasRelatedWork W2787105657 @default.
- W2022693109 hasVolume "11" @default.
- W2022693109 isParatext "false" @default.
- W2022693109 isRetracted "false" @default.
- W2022693109 magId "2022693109" @default.
- W2022693109 workType "article" @default.