Matches in SemOpenAlex for { <https://semopenalex.org/work/W3136133379> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3136133379 abstract "We present a type system for strategy languages that express program transformations as compositions of rewrite rules. Our row-polymorphic type system assists compiler engineers to write correct strategies by statically rejecting non meaningful compositions of rewrites that otherwise would fail during rewriting at runtime. Furthermore, our type system enables reasoning about how rewriting transforms the shape of the computational program. We present a formalization of our language at its type system and demonstrate its practical use for expressing compiler optimization strategies. Our type system builds the foundation for many interesting future applications, including verifying the correctness of program transformations and synthesizing program transformations from specifications encoded as types." @default.
- W3136133379 created "2021-03-29" @default.
- W3136133379 creator A5009535425 @default.
- W3136133379 creator A5016319844 @default.
- W3136133379 creator A5050784078 @default.
- W3136133379 creator A5085439366 @default.
- W3136133379 date "2021-03-23" @default.
- W3136133379 modified "2023-09-26" @default.
- W3136133379 title "Row-Polymorphic Types for Strategic Rewriting" @default.
- W3136133379 cites W1577421310 @default.
- W3136133379 cites W1851509138 @default.
- W3136133379 cites W1966981171 @default.
- W3136133379 cites W1968863783 @default.
- W3136133379 cites W1978948468 @default.
- W3136133379 cites W2012827905 @default.
- W3136133379 cites W2036378583 @default.
- W3136133379 cites W2037405229 @default.
- W3136133379 cites W2081124914 @default.
- W3136133379 cites W2091210577 @default.
- W3136133379 cites W2110685049 @default.
- W3136133379 cites W2121038016 @default.
- W3136133379 cites W2121787849 @default.
- W3136133379 cites W2125872407 @default.
- W3136133379 cites W2129256695 @default.
- W3136133379 cites W2134709894 @default.
- W3136133379 cites W2152431579 @default.
- W3136133379 cites W2157266926 @default.
- W3136133379 cites W2162766176 @default.
- W3136133379 cites W2267714400 @default.
- W3136133379 cites W2294815028 @default.
- W3136133379 cites W2415457035 @default.
- W3136133379 cites W2510703714 @default.
- W3136133379 cites W2568721247 @default.
- W3136133379 cites W2804032941 @default.
- W3136133379 cites W2899873839 @default.
- W3136133379 cites W3047091820 @default.
- W3136133379 cites W80361977 @default.
- W3136133379 cites W84930537 @default.
- W3136133379 doi "https://doi.org/10.48550/arxiv.2103.13390" @default.
- W3136133379 hasPublicationYear "2021" @default.
- W3136133379 type Work @default.
- W3136133379 sameAs 3136133379 @default.
- W3136133379 citedByCount "1" @default.
- W3136133379 countsByYear W31361333792022 @default.
- W3136133379 crossrefType "posted-content" @default.
- W3136133379 hasAuthorship W3136133379A5009535425 @default.
- W3136133379 hasAuthorship W3136133379A5016319844 @default.
- W3136133379 hasAuthorship W3136133379A5050784078 @default.
- W3136133379 hasAuthorship W3136133379A5085439366 @default.
- W3136133379 hasBestOaLocation W31361333791 @default.
- W3136133379 hasConcept C154690210 @default.
- W3136133379 hasConcept C169590947 @default.
- W3136133379 hasConcept C18903297 @default.
- W3136133379 hasConcept C199360897 @default.
- W3136133379 hasConcept C2777299769 @default.
- W3136133379 hasConcept C2778361913 @default.
- W3136133379 hasConcept C41008148 @default.
- W3136133379 hasConcept C55439883 @default.
- W3136133379 hasConcept C86803240 @default.
- W3136133379 hasConceptScore W3136133379C154690210 @default.
- W3136133379 hasConceptScore W3136133379C169590947 @default.
- W3136133379 hasConceptScore W3136133379C18903297 @default.
- W3136133379 hasConceptScore W3136133379C199360897 @default.
- W3136133379 hasConceptScore W3136133379C2777299769 @default.
- W3136133379 hasConceptScore W3136133379C2778361913 @default.
- W3136133379 hasConceptScore W3136133379C41008148 @default.
- W3136133379 hasConceptScore W3136133379C55439883 @default.
- W3136133379 hasConceptScore W3136133379C86803240 @default.
- W3136133379 hasLocation W31361333791 @default.
- W3136133379 hasOpenAccess W3136133379 @default.
- W3136133379 hasPrimaryLocation W31361333791 @default.
- W3136133379 hasRelatedWork W1511091266 @default.
- W3136133379 hasRelatedWork W1517684295 @default.
- W3136133379 hasRelatedWork W1552909716 @default.
- W3136133379 hasRelatedWork W1608659702 @default.
- W3136133379 hasRelatedWork W1746660792 @default.
- W3136133379 hasRelatedWork W3110583370 @default.
- W3136133379 hasRelatedWork W4251805752 @default.
- W3136133379 hasRelatedWork W4287256272 @default.
- W3136133379 hasRelatedWork W2467097043 @default.
- W3136133379 hasRelatedWork W2526228776 @default.
- W3136133379 isParatext "false" @default.
- W3136133379 isRetracted "false" @default.
- W3136133379 magId "3136133379" @default.
- W3136133379 workType "article" @default.