Matches in SemOpenAlex for { <https://semopenalex.org/work/W2006125587> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2006125587 abstract "We propose a conservative extension of the polymorphic lambda calculus (Fω) as an intermediate language for compiling languages with name-based class and interface hierarchies. Our extension enriches standard Fω with recursive types, existential types, and row polymorphism, but only ordered records with no subtyping. Basing our language on Fω makes it also a suitable target for translation from other higher-order languages; this enables the safe interoperation between class-based and higher-order languages and the reuse of common type-directed optimization techniques, compiler back ends, and runtime support.We present the formal semantics of our intermediate language and illustrate its features by providing a formal translation from a subset of Java, including classes, interfaces, and private instance variables. The translation preserves the name-based hierarchical relation between Java classes and interfaces, and allows access to private instance variables of parameters of the same class as the one defining the method. It also exposes the details of method invocation and instance variable access and allows many standard optimizations to be performed on the object-oriented code." @default.
- W2006125587 created "2016-06-24" @default.
- W2006125587 creator A5042114640 @default.
- W2006125587 creator A5070627140 @default.
- W2006125587 creator A5083321687 @default.
- W2006125587 date "1999-09-01" @default.
- W2006125587 modified "2023-10-17" @default.
- W2006125587 title "Representing Java classes in a typed intermediate language" @default.
- W2006125587 cites W140926411 @default.
- W2006125587 cites W1595372275 @default.
- W2006125587 cites W1964993742 @default.
- W2006125587 cites W1978035064 @default.
- W2006125587 cites W2007146206 @default.
- W2006125587 cites W2016017569 @default.
- W2006125587 cites W2022949157 @default.
- W2006125587 cites W2057648994 @default.
- W2006125587 cites W2057670587 @default.
- W2006125587 cites W2067976080 @default.
- W2006125587 cites W2069037543 @default.
- W2006125587 cites W2102654013 @default.
- W2006125587 cites W2106094088 @default.
- W2006125587 cites W2119857670 @default.
- W2006125587 cites W2124117537 @default.
- W2006125587 cites W2127818463 @default.
- W2006125587 cites W2133546079 @default.
- W2006125587 cites W2138839382 @default.
- W2006125587 cites W2170800927 @default.
- W2006125587 doi "https://doi.org/10.1145/317636.317798" @default.
- W2006125587 hasPublicationYear "1999" @default.
- W2006125587 type Work @default.
- W2006125587 sameAs 2006125587 @default.
- W2006125587 citedByCount "30" @default.
- W2006125587 crossrefType "proceedings-article" @default.
- W2006125587 hasAuthorship W2006125587A5042114640 @default.
- W2006125587 hasAuthorship W2006125587A5070627140 @default.
- W2006125587 hasAuthorship W2006125587A5083321687 @default.
- W2006125587 hasConcept C132106392 @default.
- W2006125587 hasConcept C168702491 @default.
- W2006125587 hasConcept C199360897 @default.
- W2006125587 hasConcept C41008148 @default.
- W2006125587 hasConcept C548217200 @default.
- W2006125587 hasConcept C60945770 @default.
- W2006125587 hasConceptScore W2006125587C132106392 @default.
- W2006125587 hasConceptScore W2006125587C168702491 @default.
- W2006125587 hasConceptScore W2006125587C199360897 @default.
- W2006125587 hasConceptScore W2006125587C41008148 @default.
- W2006125587 hasConceptScore W2006125587C548217200 @default.
- W2006125587 hasConceptScore W2006125587C60945770 @default.
- W2006125587 hasLocation W20061255871 @default.
- W2006125587 hasOpenAccess W2006125587 @default.
- W2006125587 hasPrimaryLocation W20061255871 @default.
- W2006125587 hasRelatedWork W122391711 @default.
- W2006125587 hasRelatedWork W1519557925 @default.
- W2006125587 hasRelatedWork W1546517032 @default.
- W2006125587 hasRelatedWork W1572739102 @default.
- W2006125587 hasRelatedWork W1998490923 @default.
- W2006125587 hasRelatedWork W2015582246 @default.
- W2006125587 hasRelatedWork W2541866089 @default.
- W2006125587 hasRelatedWork W2547095320 @default.
- W2006125587 hasRelatedWork W2141533451 @default.
- W2006125587 hasRelatedWork W2528467228 @default.
- W2006125587 isParatext "false" @default.
- W2006125587 isRetracted "false" @default.
- W2006125587 magId "2006125587" @default.
- W2006125587 workType "article" @default.