Matches in SemOpenAlex for { <https://semopenalex.org/work/W2064596811> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2064596811 abstract "A function is said to be <i>strict</i> in one of its formal parameters if, in all calls to the function, either the corresponding actual parameter is evaluated, or the call does not terminate. Detecting which arguments a function will surely evaluate is a problem that arises often in program transformation and compiler optimization. We present a strategy that allows one to infer strictness properties of functions expressed in the lambda calculus. Our analysis improves on previous work in that (1) a set-theoretic characterization of strictness is used that permits treatment of <i>free variables,</i> which in turn permits a broader range of interpretations, and (2) the analysis provides an effective treatment of higher-order functions. We also prove a result due to Meyer [15]: the problem of first-order strictness analysis is complete in deterministic exponential time. However, because the size of most functions is small, the complexity seems to be tractable in practice.This research was supported in part by NSF Grant MCS-8302018, and a Faculty Development Award from IBM." @default.
- W2064596811 created "2016-06-24" @default.
- W2064596811 creator A5056500675 @default.
- W2064596811 creator A5087925269 @default.
- W2064596811 date "1986-01-01" @default.
- W2064596811 modified "2023-10-17" @default.
- W2064596811 title "Higher-order strictness analysis in untyped lambda calculus" @default.
- W2064596811 cites W1499416596 @default.
- W2064596811 cites W1512248102 @default.
- W2064596811 cites W1562824671 @default.
- W2064596811 cites W1604342352 @default.
- W2064596811 cites W1655990431 @default.
- W2064596811 cites W2022045836 @default.
- W2064596811 cites W2043100293 @default.
- W2064596811 cites W2048115385 @default.
- W2064596811 cites W2074756472 @default.
- W2064596811 cites W2163976959 @default.
- W2064596811 cites W8302212 @default.
- W2064596811 doi "https://doi.org/10.1145/512644.512653" @default.
- W2064596811 hasPublicationYear "1986" @default.
- W2064596811 type Work @default.
- W2064596811 sameAs 2064596811 @default.
- W2064596811 citedByCount "67" @default.
- W2064596811 countsByYear W20645968112021 @default.
- W2064596811 crossrefType "proceedings-article" @default.
- W2064596811 hasAuthorship W2064596811A5056500675 @default.
- W2064596811 hasAuthorship W2064596811A5087925269 @default.
- W2064596811 hasBestOaLocation W20645968111 @default.
- W2064596811 hasConcept C104317684 @default.
- W2064596811 hasConcept C11413529 @default.
- W2064596811 hasConcept C135790938 @default.
- W2064596811 hasConcept C14036430 @default.
- W2064596811 hasConcept C142156749 @default.
- W2064596811 hasConcept C159985019 @default.
- W2064596811 hasConcept C169590947 @default.
- W2064596811 hasConcept C177264268 @default.
- W2064596811 hasConcept C185592680 @default.
- W2064596811 hasConcept C192562407 @default.
- W2064596811 hasConcept C199343813 @default.
- W2064596811 hasConcept C199360897 @default.
- W2064596811 hasConcept C204241405 @default.
- W2064596811 hasConcept C204323151 @default.
- W2064596811 hasConcept C2777686260 @default.
- W2064596811 hasConcept C33923547 @default.
- W2064596811 hasConcept C41008148 @default.
- W2064596811 hasConcept C42383842 @default.
- W2064596811 hasConcept C55493867 @default.
- W2064596811 hasConcept C61237538 @default.
- W2064596811 hasConcept C71924100 @default.
- W2064596811 hasConcept C77736955 @default.
- W2064596811 hasConcept C78458016 @default.
- W2064596811 hasConcept C80444323 @default.
- W2064596811 hasConcept C86803240 @default.
- W2064596811 hasConcept C98183937 @default.
- W2064596811 hasConceptScore W2064596811C104317684 @default.
- W2064596811 hasConceptScore W2064596811C11413529 @default.
- W2064596811 hasConceptScore W2064596811C135790938 @default.
- W2064596811 hasConceptScore W2064596811C14036430 @default.
- W2064596811 hasConceptScore W2064596811C142156749 @default.
- W2064596811 hasConceptScore W2064596811C159985019 @default.
- W2064596811 hasConceptScore W2064596811C169590947 @default.
- W2064596811 hasConceptScore W2064596811C177264268 @default.
- W2064596811 hasConceptScore W2064596811C185592680 @default.
- W2064596811 hasConceptScore W2064596811C192562407 @default.
- W2064596811 hasConceptScore W2064596811C199343813 @default.
- W2064596811 hasConceptScore W2064596811C199360897 @default.
- W2064596811 hasConceptScore W2064596811C204241405 @default.
- W2064596811 hasConceptScore W2064596811C204323151 @default.
- W2064596811 hasConceptScore W2064596811C2777686260 @default.
- W2064596811 hasConceptScore W2064596811C33923547 @default.
- W2064596811 hasConceptScore W2064596811C41008148 @default.
- W2064596811 hasConceptScore W2064596811C42383842 @default.
- W2064596811 hasConceptScore W2064596811C55493867 @default.
- W2064596811 hasConceptScore W2064596811C61237538 @default.
- W2064596811 hasConceptScore W2064596811C71924100 @default.
- W2064596811 hasConceptScore W2064596811C77736955 @default.
- W2064596811 hasConceptScore W2064596811C78458016 @default.
- W2064596811 hasConceptScore W2064596811C80444323 @default.
- W2064596811 hasConceptScore W2064596811C86803240 @default.
- W2064596811 hasConceptScore W2064596811C98183937 @default.
- W2064596811 hasLocation W20645968111 @default.
- W2064596811 hasOpenAccess W2064596811 @default.
- W2064596811 hasPrimaryLocation W20645968111 @default.
- W2064596811 hasRelatedWork W1595139175 @default.
- W2064596811 hasRelatedWork W160450709 @default.
- W2064596811 hasRelatedWork W2038167131 @default.
- W2064596811 hasRelatedWork W2101274322 @default.
- W2064596811 hasRelatedWork W2114151019 @default.
- W2064596811 hasRelatedWork W2189323991 @default.
- W2064596811 hasRelatedWork W2276378996 @default.
- W2064596811 hasRelatedWork W4281982925 @default.
- W2064596811 hasRelatedWork W62459810 @default.
- W2064596811 hasRelatedWork W811489916 @default.
- W2064596811 isParatext "false" @default.
- W2064596811 isRetracted "false" @default.
- W2064596811 magId "2064596811" @default.
- W2064596811 workType "article" @default.