FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4247319954> ?p ?o ?g. }

• W4247319954 endingPage "377" @default.
• W4247319954 startingPage "364" @default.
• W4247319954 abstract "We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations using explicit dataflow facts manipulated by local propagation and transformation rules. This new style allows Rhodium optimizations to be mutually recursively defined, to be automatically composed, to be interpreted in both flow-sensitive and -insensitive ways, and to be applied interprocedurally given a separate context-sensitivity strategy, all while retaining soundness. Rhodium also supports infinite analysis domains while guaranteeing termination of analysis. We have implemented a soundness checker for Rhodium and have specified and automatically proven the soundness of all of Cobalt's optimizations plus a variety of optimizations not expressible in Cobalt, including Andersen's points-to analysis, arithmetic-invariant detection, loop-induction-variable strength reduction, and redundant array load elimination." @default.
• W4247319954 created "2022-05-12" @default.
• W4247319954 creator A5005015849 @default.
• W4247319954 creator A5014067492 @default.
• W4247319954 creator A5043665959 @default.
• W4247319954 creator A5070604627 @default.
• W4247319954 date "2005-01-12" @default.
• W4247319954 modified "2023-10-18" @default.
• W4247319954 title "Automated soundness proofs for dataflow analyses and transformations via local rules" @default.
• W4247319954 cites W1519861553 @default.
• W4247319954 cites W1538046926 @default.
• W4247319954 cites W1990011664 @default.
• W4247319954 cites W1993836075 @default.
• W4247319954 cites W1994660988 @default.
• W4247319954 cites W1998368317 @default.
• W4247319954 cites W2000178662 @default.
• W4247319954 cites W2007146206 @default.
• W4247319954 cites W2008609084 @default.
• W4247319954 cites W2014764321 @default.
• W4247319954 cites W2034711041 @default.
• W4247319954 cites W2040856861 @default.
• W4247319954 cites W2043100293 @default.
• W4247319954 cites W2051632385 @default.
• W4247319954 cites W2065635796 @default.
• W4247319954 cites W2068840591 @default.
• W4247319954 cites W2088056808 @default.
• W4247319954 cites W2110423393 @default.
• W4247319954 cites W2117426803 @default.
• W4247319954 cites W2149996206 @default.
• W4247319954 cites W2158600037 @default.
• W4247319954 cites W2171691057 @default.
• W4247319954 cites W2421851683 @default.
• W4247319954 cites W4245921527 @default.
• W4247319954 cites W4247332426 @default.
• W4247319954 cites W4250199140 @default.
• W4247319954 doi "https://doi.org/10.1145/1047659.1040335" @default.
• W4247319954 hasPublicationYear "2005" @default.
• W4247319954 type Work @default.
• W4247319954 citedByCount "9" @default.
• W4247319954 countsByYear W42473199542012 @default.
• W4247319954 countsByYear W42473199542016 @default.
• W4247319954 countsByYear W42473199542021 @default.
• W4247319954 crossrefType "journal-article" @default.
• W4247319954 hasAuthorship W4247319954A5005015849 @default.
• W4247319954 hasAuthorship W4247319954A5014067492 @default.
• W4247319954 hasAuthorship W4247319954A5043665959 @default.
• W4247319954 hasAuthorship W4247319954A5070604627 @default.
• W4247319954 hasBestOaLocation W42473199542 @default.
• W4247319954 hasConcept C108710211 @default.
• W4247319954 hasConcept C11413529 @default.
• W4247319954 hasConcept C151730666 @default.
• W4247319954 hasConcept C161790260 @default.
• W4247319954 hasConcept C169590947 @default.
• W4247319954 hasConcept C173608175 @default.
• W4247319954 hasConcept C185592680 @default.
• W4247319954 hasConcept C190470478 @default.
• W4247319954 hasConcept C199360897 @default.
• W4247319954 hasConcept C2524010 @default.
• W4247319954 hasConcept C2779343474 @default.
• W4247319954 hasConcept C33923547 @default.
• W4247319954 hasConcept C37914503 @default.
• W4247319954 hasConcept C39920170 @default.
• W4247319954 hasConcept C41008148 @default.
• W4247319954 hasConcept C489000 @default.
• W4247319954 hasConcept C521398313 @default.
• W4247319954 hasConcept C55493867 @default.
• W4247319954 hasConcept C77088390 @default.
• W4247319954 hasConcept C80444323 @default.
• W4247319954 hasConcept C86803240 @default.
• W4247319954 hasConcept C88468194 @default.
• W4247319954 hasConcept C96324660 @default.
• W4247319954 hasConceptScore W4247319954C108710211 @default.
• W4247319954 hasConceptScore W4247319954C11413529 @default.
• W4247319954 hasConceptScore W4247319954C151730666 @default.
• W4247319954 hasConceptScore W4247319954C161790260 @default.
• W4247319954 hasConceptScore W4247319954C169590947 @default.
• W4247319954 hasConceptScore W4247319954C173608175 @default.
• W4247319954 hasConceptScore W4247319954C185592680 @default.
• W4247319954 hasConceptScore W4247319954C190470478 @default.
• W4247319954 hasConceptScore W4247319954C199360897 @default.
• W4247319954 hasConceptScore W4247319954C2524010 @default.
• W4247319954 hasConceptScore W4247319954C2779343474 @default.
• W4247319954 hasConceptScore W4247319954C33923547 @default.
• W4247319954 hasConceptScore W4247319954C37914503 @default.
• W4247319954 hasConceptScore W4247319954C39920170 @default.
• W4247319954 hasConceptScore W4247319954C41008148 @default.
• W4247319954 hasConceptScore W4247319954C489000 @default.
• W4247319954 hasConceptScore W4247319954C521398313 @default.
• W4247319954 hasConceptScore W4247319954C55493867 @default.
• W4247319954 hasConceptScore W4247319954C77088390 @default.
• W4247319954 hasConceptScore W4247319954C80444323 @default.
• W4247319954 hasConceptScore W4247319954C86803240 @default.
• W4247319954 hasConceptScore W4247319954C88468194 @default.
• W4247319954 hasConceptScore W4247319954C96324660 @default.
• W4247319954 hasIssue "1" @default.
• W4247319954 hasLocation W42473199541 @default.
• W4247319954 hasLocation W42473199542 @default.
• W4247319954 hasOpenAccess W4247319954 @default.

• next