Matches in SemOpenAlex for { <https://semopenalex.org/work/W1993592642> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1993592642 abstract "An applicative program denotes a function mapping values from some domain to some range. Abstract interpretation of applicative programs involves using the standard denotation to describe an abstract function from a “simplified” domain to a “simplified” range, such that computation of the abstract function is effective and yields some information, such as type information, about the standard denotation. We develop a general framework for a restricted class of abstract interpretations that deal with non-strict functions defined on non-flat domains. As a consequence, we can develop inference schemes for a large and useful class of functional programs, including functions defined on streams. We describe several practical problems and solve them using abstract interpretation. These include inferring minor signatures and relevant clauses of functions, which have arisen out of our work on a strongly-typed applicative language." @default.
- W1993592642 created "2016-06-24" @default.
- W1993592642 creator A5000714311 @default.
- W1993592642 creator A5048831245 @default.
- W1993592642 date "1984-01-01" @default.
- W1993592642 modified "2023-10-18" @default.
- W1993592642 title "Static inference of properties of applicative programs" @default.
- W1993592642 cites W108782893 @default.
- W1993592642 cites W1512248102 @default.
- W1993592642 cites W1562824671 @default.
- W1993592642 cites W1986388229 @default.
- W1993592642 cites W1991450942 @default.
- W1993592642 cites W2015709431 @default.
- W1993592642 cites W2036748304 @default.
- W1993592642 cites W2043100293 @default.
- W1993592642 cites W2048723607 @default.
- W1993592642 cites W2057329260 @default.
- W1993592642 cites W2062024564 @default.
- W1993592642 cites W2092242770 @default.
- W1993592642 cites W2094945667 @default.
- W1993592642 cites W2912431422 @default.
- W1993592642 cites W49331338 @default.
- W1993592642 doi "https://doi.org/10.1145/800017.800535" @default.
- W1993592642 hasPublicationYear "1984" @default.
- W1993592642 type Work @default.
- W1993592642 sameAs 1993592642 @default.
- W1993592642 citedByCount "10" @default.
- W1993592642 crossrefType "proceedings-article" @default.
- W1993592642 hasAuthorship W1993592642A5000714311 @default.
- W1993592642 hasAuthorship W1993592642A5048831245 @default.
- W1993592642 hasBestOaLocation W19935926422 @default.
- W1993592642 hasConcept C134306372 @default.
- W1993592642 hasConcept C138885662 @default.
- W1993592642 hasConcept C139997677 @default.
- W1993592642 hasConcept C14036430 @default.
- W1993592642 hasConcept C149106765 @default.
- W1993592642 hasConcept C154945302 @default.
- W1993592642 hasConcept C159985019 @default.
- W1993592642 hasConcept C192562407 @default.
- W1993592642 hasConcept C198370458 @default.
- W1993592642 hasConcept C199360897 @default.
- W1993592642 hasConcept C204323151 @default.
- W1993592642 hasConcept C2776214188 @default.
- W1993592642 hasConcept C2777212361 @default.
- W1993592642 hasConcept C2780654840 @default.
- W1993592642 hasConcept C33923547 @default.
- W1993592642 hasConcept C36503486 @default.
- W1993592642 hasConcept C41008148 @default.
- W1993592642 hasConcept C41895202 @default.
- W1993592642 hasConcept C45374587 @default.
- W1993592642 hasConcept C527412718 @default.
- W1993592642 hasConcept C78458016 @default.
- W1993592642 hasConcept C80444323 @default.
- W1993592642 hasConcept C86803240 @default.
- W1993592642 hasConceptScore W1993592642C134306372 @default.
- W1993592642 hasConceptScore W1993592642C138885662 @default.
- W1993592642 hasConceptScore W1993592642C139997677 @default.
- W1993592642 hasConceptScore W1993592642C14036430 @default.
- W1993592642 hasConceptScore W1993592642C149106765 @default.
- W1993592642 hasConceptScore W1993592642C154945302 @default.
- W1993592642 hasConceptScore W1993592642C159985019 @default.
- W1993592642 hasConceptScore W1993592642C192562407 @default.
- W1993592642 hasConceptScore W1993592642C198370458 @default.
- W1993592642 hasConceptScore W1993592642C199360897 @default.
- W1993592642 hasConceptScore W1993592642C204323151 @default.
- W1993592642 hasConceptScore W1993592642C2776214188 @default.
- W1993592642 hasConceptScore W1993592642C2777212361 @default.
- W1993592642 hasConceptScore W1993592642C2780654840 @default.
- W1993592642 hasConceptScore W1993592642C33923547 @default.
- W1993592642 hasConceptScore W1993592642C36503486 @default.
- W1993592642 hasConceptScore W1993592642C41008148 @default.
- W1993592642 hasConceptScore W1993592642C41895202 @default.
- W1993592642 hasConceptScore W1993592642C45374587 @default.
- W1993592642 hasConceptScore W1993592642C527412718 @default.
- W1993592642 hasConceptScore W1993592642C78458016 @default.
- W1993592642 hasConceptScore W1993592642C80444323 @default.
- W1993592642 hasConceptScore W1993592642C86803240 @default.
- W1993592642 hasLocation W19935926421 @default.
- W1993592642 hasLocation W19935926422 @default.
- W1993592642 hasOpenAccess W1993592642 @default.
- W1993592642 hasPrimaryLocation W19935926421 @default.
- W1993592642 hasRelatedWork W1576856119 @default.
- W1993592642 hasRelatedWork W1579640669 @default.
- W1993592642 hasRelatedWork W1604602673 @default.
- W1993592642 hasRelatedWork W1993592642 @default.
- W1993592642 hasRelatedWork W2074638034 @default.
- W1993592642 hasRelatedWork W2134319625 @default.
- W1993592642 hasRelatedWork W2172022734 @default.
- W1993592642 hasRelatedWork W2763815264 @default.
- W1993592642 hasRelatedWork W2952657391 @default.
- W1993592642 hasRelatedWork W3137189469 @default.
- W1993592642 isParatext "false" @default.
- W1993592642 isRetracted "false" @default.
- W1993592642 magId "1993592642" @default.
- W1993592642 workType "article" @default.