Matches in SemOpenAlex for { <https://semopenalex.org/work/W2557438312> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2557438312 abstract "Strictness analysis is a critical tool for optimization of lazy functional languages. Over the past decade or so, numerous approaches to the problem of strictness analysis have been proposed. These approaches generally can be classified as either or backward.Simply put, given an expression, forward reasoning asks the question If my variables are defined this much, how much will the result of my expression be defined? Backward reasoning asks the question If I need this level of definedness in my result, what level of definedness will be required of my variables?We compare prototypical examples of forward and backward strictness analysis and compare their power. We compare their expressive power, that is, the power of the languages of strictness properties, and their deductive power, the power of the systems which statically analyze programs to produce these strictness properties.We also study implementations of these strictness analysis systems and make some observations about the differences and similarities of the systems." @default.
- W2557438312 created "2016-12-08" @default.
- W2557438312 creator A5008248738 @default.
- W2557438312 date "1993-01-11" @default.
- W2557438312 modified "2023-09-27" @default.
- W2557438312 title "The power and efficiency of forward and backward strictness analysis" @default.
- W2557438312 hasPublicationYear "1993" @default.
- W2557438312 type Work @default.
- W2557438312 sameAs 2557438312 @default.
- W2557438312 citedByCount "0" @default.
- W2557438312 crossrefType "journal-article" @default.
- W2557438312 hasAuthorship W2557438312A5008248738 @default.
- W2557438312 hasConcept C121332964 @default.
- W2557438312 hasConcept C163258240 @default.
- W2557438312 hasConcept C195818886 @default.
- W2557438312 hasConcept C199360897 @default.
- W2557438312 hasConcept C26713055 @default.
- W2557438312 hasConcept C41008148 @default.
- W2557438312 hasConcept C62520636 @default.
- W2557438312 hasConcept C80444323 @default.
- W2557438312 hasConcept C90559484 @default.
- W2557438312 hasConceptScore W2557438312C121332964 @default.
- W2557438312 hasConceptScore W2557438312C163258240 @default.
- W2557438312 hasConceptScore W2557438312C195818886 @default.
- W2557438312 hasConceptScore W2557438312C199360897 @default.
- W2557438312 hasConceptScore W2557438312C26713055 @default.
- W2557438312 hasConceptScore W2557438312C41008148 @default.
- W2557438312 hasConceptScore W2557438312C62520636 @default.
- W2557438312 hasConceptScore W2557438312C80444323 @default.
- W2557438312 hasConceptScore W2557438312C90559484 @default.
- W2557438312 hasLocation W25574383121 @default.
- W2557438312 hasOpenAccess W2557438312 @default.
- W2557438312 hasPrimaryLocation W25574383121 @default.
- W2557438312 hasRelatedWork W12375019 @default.
- W2557438312 hasRelatedWork W1494751716 @default.
- W2557438312 hasRelatedWork W1519247154 @default.
- W2557438312 hasRelatedWork W190713494 @default.
- W2557438312 hasRelatedWork W1993132652 @default.
- W2557438312 hasRelatedWork W2071195323 @default.
- W2557438312 hasRelatedWork W2102126498 @default.
- W2557438312 hasRelatedWork W2153687851 @default.
- W2557438312 hasRelatedWork W2256986033 @default.
- W2557438312 hasRelatedWork W2282229221 @default.
- W2557438312 hasRelatedWork W2294188518 @default.
- W2557438312 hasRelatedWork W2425366967 @default.
- W2557438312 hasRelatedWork W2489677767 @default.
- W2557438312 hasRelatedWork W253191695 @default.
- W2557438312 hasRelatedWork W2558890109 @default.
- W2557438312 hasRelatedWork W2911480877 @default.
- W2557438312 hasRelatedWork W3145350942 @default.
- W2557438312 hasRelatedWork W37298515 @default.
- W2557438312 hasRelatedWork W129850067 @default.
- W2557438312 hasRelatedWork W2279526040 @default.
- W2557438312 isParatext "false" @default.
- W2557438312 isRetracted "false" @default.
- W2557438312 magId "2557438312" @default.
- W2557438312 workType "article" @default.