Matches in SemOpenAlex for { <https://semopenalex.org/work/W1493903037> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1493903037 abstract "Given a description of inputs and parameters in a program, a Binding-Time Analysis determines parts of a program which can be evaluated at compile-time. A Strictness Analysis determines parts of a program, whose early evaluation does not change the value of the result. In this paper, we present an analysis which subsumes both analyses for a first-order functional language. The analysis is formulated in terms of Abstract Interpretation based upon approximation of a fixpoint collecting semantics using Galois connections." @default.
- W1493903037 created "2016-06-24" @default.
- W1493903037 creator A5026204356 @default.
- W1493903037 date "1995-01-01" @default.
- W1493903037 modified "2023-09-27" @default.
- W1493903037 title "Binding-time analysis and strictness analysis by abstract interpretation" @default.
- W1493903037 cites W1492424202 @default.
- W1493903037 cites W2084875723 @default.
- W1493903037 cites W2145969019 @default.
- W1493903037 cites W3029877317 @default.
- W1493903037 cites W4254818085 @default.
- W1493903037 doi "https://doi.org/10.1007/3-540-60360-3_52" @default.
- W1493903037 hasPublicationYear "1995" @default.
- W1493903037 type Work @default.
- W1493903037 sameAs 1493903037 @default.
- W1493903037 citedByCount "3" @default.
- W1493903037 crossrefType "book-chapter" @default.
- W1493903037 hasAuthorship W1493903037A5026204356 @default.
- W1493903037 hasConcept C11413529 @default.
- W1493903037 hasConcept C169590947 @default.
- W1493903037 hasConcept C184337299 @default.
- W1493903037 hasConcept C195701839 @default.
- W1493903037 hasConcept C199360897 @default.
- W1493903037 hasConcept C200833197 @default.
- W1493903037 hasConcept C2778361913 @default.
- W1493903037 hasConcept C2780654840 @default.
- W1493903037 hasConcept C41008148 @default.
- W1493903037 hasConcept C42383842 @default.
- W1493903037 hasConcept C527412718 @default.
- W1493903037 hasConcept C80444323 @default.
- W1493903037 hasConcept C97686452 @default.
- W1493903037 hasConcept C98183937 @default.
- W1493903037 hasConceptScore W1493903037C11413529 @default.
- W1493903037 hasConceptScore W1493903037C169590947 @default.
- W1493903037 hasConceptScore W1493903037C184337299 @default.
- W1493903037 hasConceptScore W1493903037C195701839 @default.
- W1493903037 hasConceptScore W1493903037C199360897 @default.
- W1493903037 hasConceptScore W1493903037C200833197 @default.
- W1493903037 hasConceptScore W1493903037C2778361913 @default.
- W1493903037 hasConceptScore W1493903037C2780654840 @default.
- W1493903037 hasConceptScore W1493903037C41008148 @default.
- W1493903037 hasConceptScore W1493903037C42383842 @default.
- W1493903037 hasConceptScore W1493903037C527412718 @default.
- W1493903037 hasConceptScore W1493903037C80444323 @default.
- W1493903037 hasConceptScore W1493903037C97686452 @default.
- W1493903037 hasConceptScore W1493903037C98183937 @default.
- W1493903037 hasLocation W14939030371 @default.
- W1493903037 hasOpenAccess W1493903037 @default.
- W1493903037 hasPrimaryLocation W14939030371 @default.
- W1493903037 hasRelatedWork W1138238613 @default.
- W1493903037 hasRelatedWork W154321614 @default.
- W1493903037 hasRelatedWork W1545362745 @default.
- W1493903037 hasRelatedWork W1573066886 @default.
- W1493903037 hasRelatedWork W1605439661 @default.
- W1493903037 hasRelatedWork W1667913537 @default.
- W1493903037 hasRelatedWork W1847579509 @default.
- W1493903037 hasRelatedWork W1964905213 @default.
- W1493903037 hasRelatedWork W1973997468 @default.
- W1493903037 hasRelatedWork W2049596743 @default.
- W1493903037 hasRelatedWork W2109586917 @default.
- W1493903037 hasRelatedWork W2139395851 @default.
- W1493903037 hasRelatedWork W2506864783 @default.
- W1493903037 hasRelatedWork W2939807911 @default.
- W1493903037 hasRelatedWork W2963559469 @default.
- W1493903037 hasRelatedWork W2981732651 @default.
- W1493903037 hasRelatedWork W3021851953 @default.
- W1493903037 hasRelatedWork W3105682124 @default.
- W1493903037 hasRelatedWork W3146823024 @default.
- W1493903037 hasRelatedWork W52710286 @default.
- W1493903037 isParatext "false" @default.
- W1493903037 isRetracted "false" @default.
- W1493903037 magId "1493903037" @default.
- W1493903037 workType "book-chapter" @default.