Matches in SemOpenAlex for { <https://semopenalex.org/work/W2762773763> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2762773763 abstract "We study the problem of translating from call-by-value pcf to a first-order low-level language. Such translations are typically defined by induction on the structure of the source term. Each sub-term is translated to a low-level program fragment and the translation of the whole term is a composition of these fragments. It is desirable to follow this compositional approach also in reasoning about such translations, e.g. to show correctness of the translation by verifying the low-level fragments individually. In this paper, we define a defunctionalisation method in which the low-level program fragments are considered as little modules with a well-defined interface. We show correctness of the translation by decomposing it into a number of steps that each allows compositional reasoning. The main step is a typed closure conversion that translates pcf into a calculus based on interaction semantics. It takes into account low-level information, e.g. on closure representation and stack shape, that is obtained by global program analysis. We capture such information using an annotated type system for pcf and show that suitable annotations can be computed by type inference." @default.
- W2762773763 created "2017-10-20" @default.
- W2762773763 creator A5082258374 @default.
- W2762773763 date "2017-10-09" @default.
- W2762773763 modified "2023-09-27" @default.
- W2762773763 title "Defunctionalisation as modular closure conversion" @default.
- W2762773763 cites W1971256104 @default.
- W2762773763 cites W1971786688 @default.
- W2762773763 cites W2018436366 @default.
- W2762773763 cites W2031582121 @default.
- W2762773763 cites W2083251128 @default.
- W2762773763 cites W2110196404 @default.
- W2762773763 cites W2118227920 @default.
- W2762773763 cites W2129566109 @default.
- W2762773763 cites W2186736595 @default.
- W2762773763 cites W2404181034 @default.
- W2762773763 cites W4249023099 @default.
- W2762773763 cites W59640247 @default.
- W2762773763 doi "https://doi.org/10.1145/3131851.3131868" @default.
- W2762773763 hasPublicationYear "2017" @default.
- W2762773763 type Work @default.
- W2762773763 sameAs 2762773763 @default.
- W2762773763 citedByCount "3" @default.
- W2762773763 countsByYear W27627737632018 @default.
- W2762773763 countsByYear W27627737632020 @default.
- W2762773763 crossrefType "proceedings-article" @default.
- W2762773763 hasAuthorship W2762773763A5082258374 @default.
- W2762773763 hasConcept C101468663 @default.
- W2762773763 hasConcept C146834321 @default.
- W2762773763 hasConcept C17744445 @default.
- W2762773763 hasConcept C199360897 @default.
- W2762773763 hasConcept C199539241 @default.
- W2762773763 hasConcept C41008148 @default.
- W2762773763 hasConceptScore W2762773763C101468663 @default.
- W2762773763 hasConceptScore W2762773763C146834321 @default.
- W2762773763 hasConceptScore W2762773763C17744445 @default.
- W2762773763 hasConceptScore W2762773763C199360897 @default.
- W2762773763 hasConceptScore W2762773763C199539241 @default.
- W2762773763 hasConceptScore W2762773763C41008148 @default.
- W2762773763 hasLocation W27627737631 @default.
- W2762773763 hasOpenAccess W2762773763 @default.
- W2762773763 hasPrimaryLocation W27627737631 @default.
- W2762773763 hasRelatedWork W2093578348 @default.
- W2762773763 hasRelatedWork W2177563685 @default.
- W2762773763 hasRelatedWork W2358668433 @default.
- W2762773763 hasRelatedWork W2390279801 @default.
- W2762773763 hasRelatedWork W2748952813 @default.
- W2762773763 hasRelatedWork W2888805005 @default.
- W2762773763 hasRelatedWork W2899084033 @default.
- W2762773763 hasRelatedWork W315394019 @default.
- W2762773763 hasRelatedWork W4238335261 @default.
- W2762773763 hasRelatedWork W4287658559 @default.
- W2762773763 isParatext "false" @default.
- W2762773763 isRetracted "false" @default.
- W2762773763 magId "2762773763" @default.
- W2762773763 workType "article" @default.