Matches in SemOpenAlex for { <https://semopenalex.org/work/W2053735400> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2053735400 abstract "Useless variable elimination [25] is a transformation that eliminates variables whose values contribute nothing to the final outcome of a computation. We present a type-based method for useless variable elimination and prove its correctness. The algorithm is a surprisingly simple extension of the usual type reconstruction algorithm. Our method seems more attractive than other methods for useless variable elimination in several respects. First, it is simple, so that the proof of the correctness is clear and the method can be easily extended to deal with a polymorphic language. Second, it is efficient: it runs in time almost linear in the size of an input expression for a simply-typed λ-calculus, while Wand and Siveroni's 0CFA-based method may require a cubic time. Moreover, our transformation is optimal in a certain sense among those that preserve well-typedness, both for the simply-typed language and for an ML-style polymorphically-typed language. On the other hand, Wand and Siveroni's method is not optimal for the polymophically-typed language." @default.
- W2053735400 created "2016-06-24" @default.
- W2053735400 creator A5084941435 @default.
- W2053735400 date "1999-11-01" @default.
- W2053735400 modified "2023-10-18" @default.
- W2053735400 title "Type-based useless variable elimination" @default.
- W2053735400 cites W1582565166 @default.
- W2053735400 cites W1829244603 @default.
- W2053735400 cites W1964952791 @default.
- W2053735400 cites W1986334602 @default.
- W2053735400 cites W2013172387 @default.
- W2053735400 cites W2043325669 @default.
- W2053735400 cites W2052440299 @default.
- W2053735400 cites W2053118768 @default.
- W2053735400 cites W2077853727 @default.
- W2053735400 cites W2127206092 @default.
- W2053735400 cites W2129133667 @default.
- W2053735400 cites W2132500556 @default.
- W2053735400 cites W2168280960 @default.
- W2053735400 cites W2914435326 @default.
- W2053735400 cites W4213232664 @default.
- W2053735400 doi "https://doi.org/10.1145/328690.328702" @default.
- W2053735400 hasPublicationYear "1999" @default.
- W2053735400 type Work @default.
- W2053735400 sameAs 2053735400 @default.
- W2053735400 citedByCount "24" @default.
- W2053735400 countsByYear W20537354002018 @default.
- W2053735400 crossrefType "proceedings-article" @default.
- W2053735400 hasAuthorship W2053735400A5084941435 @default.
- W2053735400 hasBestOaLocation W20537354001 @default.
- W2053735400 hasConcept C104317684 @default.
- W2053735400 hasConcept C111472728 @default.
- W2053735400 hasConcept C11413529 @default.
- W2053735400 hasConcept C134306372 @default.
- W2053735400 hasConcept C135790938 @default.
- W2053735400 hasConcept C138885662 @default.
- W2053735400 hasConcept C154945302 @default.
- W2053735400 hasConcept C169272836 @default.
- W2053735400 hasConcept C182365436 @default.
- W2053735400 hasConcept C185592680 @default.
- W2053735400 hasConcept C18903297 @default.
- W2053735400 hasConcept C195701839 @default.
- W2053735400 hasConcept C199360897 @default.
- W2053735400 hasConcept C204241405 @default.
- W2053735400 hasConcept C20528804 @default.
- W2053735400 hasConcept C2776214188 @default.
- W2053735400 hasConcept C2777299769 @default.
- W2053735400 hasConcept C2778029271 @default.
- W2053735400 hasConcept C2780586882 @default.
- W2053735400 hasConcept C33923547 @default.
- W2053735400 hasConcept C41008148 @default.
- W2053735400 hasConcept C45374587 @default.
- W2053735400 hasConcept C55439883 @default.
- W2053735400 hasConcept C55493867 @default.
- W2053735400 hasConcept C86803240 @default.
- W2053735400 hasConceptScore W2053735400C104317684 @default.
- W2053735400 hasConceptScore W2053735400C111472728 @default.
- W2053735400 hasConceptScore W2053735400C11413529 @default.
- W2053735400 hasConceptScore W2053735400C134306372 @default.
- W2053735400 hasConceptScore W2053735400C135790938 @default.
- W2053735400 hasConceptScore W2053735400C138885662 @default.
- W2053735400 hasConceptScore W2053735400C154945302 @default.
- W2053735400 hasConceptScore W2053735400C169272836 @default.
- W2053735400 hasConceptScore W2053735400C182365436 @default.
- W2053735400 hasConceptScore W2053735400C185592680 @default.
- W2053735400 hasConceptScore W2053735400C18903297 @default.
- W2053735400 hasConceptScore W2053735400C195701839 @default.
- W2053735400 hasConceptScore W2053735400C199360897 @default.
- W2053735400 hasConceptScore W2053735400C204241405 @default.
- W2053735400 hasConceptScore W2053735400C20528804 @default.
- W2053735400 hasConceptScore W2053735400C2776214188 @default.
- W2053735400 hasConceptScore W2053735400C2777299769 @default.
- W2053735400 hasConceptScore W2053735400C2778029271 @default.
- W2053735400 hasConceptScore W2053735400C2780586882 @default.
- W2053735400 hasConceptScore W2053735400C33923547 @default.
- W2053735400 hasConceptScore W2053735400C41008148 @default.
- W2053735400 hasConceptScore W2053735400C45374587 @default.
- W2053735400 hasConceptScore W2053735400C55439883 @default.
- W2053735400 hasConceptScore W2053735400C55493867 @default.
- W2053735400 hasConceptScore W2053735400C86803240 @default.
- W2053735400 hasLocation W20537354001 @default.
- W2053735400 hasOpenAccess W2053735400 @default.
- W2053735400 hasPrimaryLocation W20537354001 @default.
- W2053735400 hasRelatedWork W1762668282 @default.
- W2053735400 hasRelatedWork W2047793074 @default.
- W2053735400 hasRelatedWork W2053735400 @default.
- W2053735400 hasRelatedWork W2103674909 @default.
- W2053735400 hasRelatedWork W2126682384 @default.
- W2053735400 hasRelatedWork W2799064532 @default.
- W2053735400 hasRelatedWork W2998595860 @default.
- W2053735400 hasRelatedWork W3161282940 @default.
- W2053735400 hasRelatedWork W4233960656 @default.
- W2053735400 hasRelatedWork W4255069940 @default.
- W2053735400 isParatext "false" @default.
- W2053735400 isRetracted "false" @default.
- W2053735400 magId "2053735400" @default.
- W2053735400 workType "article" @default.