FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2025566524> ?p ?o ?g. }

• W2025566524 abstract "This paper describes how to add first-class generic types---including mixins---to strongly-typed OO languages with nominal subtyping such as Java and C#. A generic type system is first-class if generic types can appear in any context where conventional types can appear. In this context, a mixin is simply a generic class that extends one of its type parameters, e.g., a class C<T> that extends T. Although mixins of this form are widely used in Cpp (via templates), they are clumsy and error-prone because Cpp treats mixins as macros, forcing each mixin instantiation to be separately compiled and type-checked. The abstraction embodied in a mixin is never separately analyzed.Our formulation of mixins using first-class genericity accommodates sound local (class-by-class) type checking. A mixin can be fully type-checked given symbol tables for each of the classes that it directly references---the same context in which Java performs incremental class compilation. To our knowledge, no previous formal analysis of first-class genericity in languages with nominal type systems has been conducted, which is surprising because nominal subtyping has become predominant in mainstream object-oriented programming languages.What makes our treatment of first-class genericity particularly interesting and important is the fact that it can be added to the existing Java language without any change to the underlying Java Virtual Machine. Moreover, the extension is backward compatible with legacy Java source and class files. Although our discussion of a practical implementation strategy focuses on Java, the same implementation techniques could be applied to other object-oriented languages such as C# or Eiffel that support incremental compilation, dynamic class loading, and nominal subtyping." @default.
• W2025566524 created "2016-06-24" @default.
• W2025566524 creator A5049116965 @default.
• W2025566524 creator A5068157052 @default.
• W2025566524 creator A5068691598 @default.
• W2025566524 date "2003-10-26" @default.
• W2025566524 modified "2023-10-17" @default.
• W2025566524 title "A first-class approach to genericity" @default.
• W2025566524 cites W1994666727 @default.
• W2025566524 cites W2015554455 @default.
• W2025566524 cites W2029360780 @default.
• W2025566524 cites W2035709547 @default.
• W2025566524 cites W2056445533 @default.
• W2025566524 cites W2115680394 @default.
• W2025566524 cites W2117534212 @default.
• W2025566524 cites W2133546079 @default.
• W2025566524 cites W2137417304 @default.
• W2025566524 cites W2165657834 @default.
• W2025566524 cites W2166039230 @default.
• W2025566524 cites W2168986107 @default.
• W2025566524 cites W4249022551 @default.
• W2025566524 cites W4249752426 @default.
• W2025566524 doi "https://doi.org/10.1145/949305.949316" @default.
• W2025566524 hasPublicationYear "2003" @default.
• W2025566524 type Work @default.
• W2025566524 sameAs 2025566524 @default.
• W2025566524 citedByCount "47" @default.
• W2025566524 countsByYear W20255665242012 @default.
• W2025566524 countsByYear W20255665242013 @default.
• W2025566524 countsByYear W20255665242015 @default.
• W2025566524 countsByYear W20255665242016 @default.
• W2025566524 countsByYear W20255665242020 @default.
• W2025566524 countsByYear W20255665242021 @default.
• W2025566524 crossrefType "proceedings-article" @default.
• W2025566524 hasAuthorship W2025566524A5049116965 @default.
• W2025566524 hasAuthorship W2025566524A5068157052 @default.
• W2025566524 hasAuthorship W2025566524A5068691598 @default.
• W2025566524 hasBestOaLocation W20255665242 @default.
• W2025566524 hasConcept C109701466 @default.
• W2025566524 hasConcept C132106392 @default.
• W2025566524 hasConcept C138958017 @default.
• W2025566524 hasConcept C151730666 @default.
• W2025566524 hasConcept C154945302 @default.
• W2025566524 hasConcept C168702491 @default.
• W2025566524 hasConcept C172482141 @default.
• W2025566524 hasConcept C175971053 @default.
• W2025566524 hasConcept C199360897 @default.
• W2025566524 hasConcept C2777212361 @default.
• W2025566524 hasConcept C2779343474 @default.
• W2025566524 hasConcept C2781289151 @default.
• W2025566524 hasConcept C41008148 @default.
• W2025566524 hasConcept C44779574 @default.
• W2025566524 hasConcept C548217200 @default.
• W2025566524 hasConcept C60945770 @default.
• W2025566524 hasConcept C73752529 @default.
• W2025566524 hasConcept C86803240 @default.
• W2025566524 hasConceptScore W2025566524C109701466 @default.
• W2025566524 hasConceptScore W2025566524C132106392 @default.
• W2025566524 hasConceptScore W2025566524C138958017 @default.
• W2025566524 hasConceptScore W2025566524C151730666 @default.
• W2025566524 hasConceptScore W2025566524C154945302 @default.
• W2025566524 hasConceptScore W2025566524C168702491 @default.
• W2025566524 hasConceptScore W2025566524C172482141 @default.
• W2025566524 hasConceptScore W2025566524C175971053 @default.
• W2025566524 hasConceptScore W2025566524C199360897 @default.
• W2025566524 hasConceptScore W2025566524C2777212361 @default.
• W2025566524 hasConceptScore W2025566524C2779343474 @default.
• W2025566524 hasConceptScore W2025566524C2781289151 @default.
• W2025566524 hasConceptScore W2025566524C41008148 @default.
• W2025566524 hasConceptScore W2025566524C44779574 @default.
• W2025566524 hasConceptScore W2025566524C548217200 @default.
• W2025566524 hasConceptScore W2025566524C60945770 @default.
• W2025566524 hasConceptScore W2025566524C73752529 @default.
• W2025566524 hasConceptScore W2025566524C86803240 @default.
• W2025566524 hasLocation W20255665241 @default.
• W2025566524 hasLocation W20255665242 @default.
• W2025566524 hasOpenAccess W2025566524 @default.
• W2025566524 hasPrimaryLocation W20255665241 @default.
• W2025566524 hasRelatedWork W1530486358 @default.
• W2025566524 hasRelatedWork W1560812729 @default.
• W2025566524 hasRelatedWork W1939063323 @default.
• W2025566524 hasRelatedWork W2025566524 @default.
• W2025566524 hasRelatedWork W2069676812 @default.
• W2025566524 hasRelatedWork W2098123460 @default.
• W2025566524 hasRelatedWork W2541866089 @default.
• W2025566524 hasRelatedWork W2547095320 @default.
• W2025566524 hasRelatedWork W3160951041 @default.
• W2025566524 hasRelatedWork W321450354 @default.
• W2025566524 isParatext "false" @default.
• W2025566524 isRetracted "false" @default.
• W2025566524 magId "2025566524" @default.
• W2025566524 workType "article" @default.