Matches in SemOpenAlex for { <https://semopenalex.org/work/W1981192227> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1981192227 abstract "The partial evaluation process requires a binding-time analysis. Binding-time analysis seeks to determine which parts of a program's result is determined when some part of the input is known. Domain projections provide a very general way to encode a description of which parts of a data structure are static (known), and which are dynamic (not static). For first-order functional languages Launchbury [Lau91a] has developed an abstract interpretation technique for binding-time analysis in which the basic abstract value is a projection. Unfortunately this technique does not generalise easily to higher-order languages. This paper develops such a generalisation: a projection-based abstract interpretation suitable for higher-order binding-time analysis." @default.
- W1981192227 created "2016-06-24" @default.
- W1981192227 creator A5032399638 @default.
- W1981192227 date "1993-01-01" @default.
- W1981192227 modified "2023-10-14" @default.
- W1981192227 title "Higher-order binding-time analysis" @default.
- W1981192227 cites W1487867650 @default.
- W1981192227 cites W1537394154 @default.
- W1981192227 cites W1559686260 @default.
- W1981192227 cites W1560314870 @default.
- W1981192227 cites W1567694639 @default.
- W1981192227 cites W172004165 @default.
- W1981192227 cites W1816220807 @default.
- W1981192227 cites W1924152497 @default.
- W1981192227 cites W1966403563 @default.
- W1981192227 cites W2003411722 @default.
- W1981192227 cites W2040479609 @default.
- W1981192227 cites W2092597383 @default.
- W1981192227 cites W2145969019 @default.
- W1981192227 cites W2159177079 @default.
- W1981192227 cites W2164070813 @default.
- W1981192227 cites W2295914203 @default.
- W1981192227 cites W3161361687 @default.
- W1981192227 cites W1985853644 @default.
- W1981192227 doi "https://doi.org/10.1145/154630.154639" @default.
- W1981192227 hasPublicationYear "1993" @default.
- W1981192227 type Work @default.
- W1981192227 sameAs 1981192227 @default.
- W1981192227 citedByCount "6" @default.
- W1981192227 crossrefType "proceedings-article" @default.
- W1981192227 hasAuthorship W1981192227A5032399638 @default.
- W1981192227 hasBestOaLocation W19811922271 @default.
- W1981192227 hasConcept C10138342 @default.
- W1981192227 hasConcept C104317684 @default.
- W1981192227 hasConcept C11413529 @default.
- W1981192227 hasConcept C134306372 @default.
- W1981192227 hasConcept C162324750 @default.
- W1981192227 hasConcept C182306322 @default.
- W1981192227 hasConcept C185592680 @default.
- W1981192227 hasConcept C195701839 @default.
- W1981192227 hasConcept C199360897 @default.
- W1981192227 hasConcept C2780654840 @default.
- W1981192227 hasConcept C33923547 @default.
- W1981192227 hasConcept C36503486 @default.
- W1981192227 hasConcept C41008148 @default.
- W1981192227 hasConcept C527412718 @default.
- W1981192227 hasConcept C55493867 @default.
- W1981192227 hasConcept C57493831 @default.
- W1981192227 hasConcept C66746571 @default.
- W1981192227 hasConcept C80444323 @default.
- W1981192227 hasConcept C98045186 @default.
- W1981192227 hasConceptScore W1981192227C10138342 @default.
- W1981192227 hasConceptScore W1981192227C104317684 @default.
- W1981192227 hasConceptScore W1981192227C11413529 @default.
- W1981192227 hasConceptScore W1981192227C134306372 @default.
- W1981192227 hasConceptScore W1981192227C162324750 @default.
- W1981192227 hasConceptScore W1981192227C182306322 @default.
- W1981192227 hasConceptScore W1981192227C185592680 @default.
- W1981192227 hasConceptScore W1981192227C195701839 @default.
- W1981192227 hasConceptScore W1981192227C199360897 @default.
- W1981192227 hasConceptScore W1981192227C2780654840 @default.
- W1981192227 hasConceptScore W1981192227C33923547 @default.
- W1981192227 hasConceptScore W1981192227C36503486 @default.
- W1981192227 hasConceptScore W1981192227C41008148 @default.
- W1981192227 hasConceptScore W1981192227C527412718 @default.
- W1981192227 hasConceptScore W1981192227C55493867 @default.
- W1981192227 hasConceptScore W1981192227C57493831 @default.
- W1981192227 hasConceptScore W1981192227C66746571 @default.
- W1981192227 hasConceptScore W1981192227C80444323 @default.
- W1981192227 hasConceptScore W1981192227C98045186 @default.
- W1981192227 hasLocation W19811922271 @default.
- W1981192227 hasOpenAccess W1981192227 @default.
- W1981192227 hasPrimaryLocation W19811922271 @default.
- W1981192227 hasRelatedWork W1558230924 @default.
- W1981192227 hasRelatedWork W1576856119 @default.
- W1981192227 hasRelatedWork W2002387648 @default.
- W1981192227 hasRelatedWork W2021410963 @default.
- W1981192227 hasRelatedWork W2074638034 @default.
- W1981192227 hasRelatedWork W2119447376 @default.
- W1981192227 hasRelatedWork W2370276467 @default.
- W1981192227 hasRelatedWork W2611239773 @default.
- W1981192227 hasRelatedWork W3146823024 @default.
- W1981192227 hasRelatedWork W4251111662 @default.
- W1981192227 isParatext "false" @default.
- W1981192227 isRetracted "false" @default.
- W1981192227 magId "1981192227" @default.
- W1981192227 workType "article" @default.