FRINK Linked Data Fragments server

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

• W100668331 abstract "Goals of expressiveness and flexibility in typed object-oriented programming suggest a “covariant” type policy, where routine redefinitions can change the types of both arguments and results in the same direction as the inheritance hierarchy. Unfortunately, a careless covariant policy, when combined with polymorphism, genericity and dynamic binding — other O-O mechanisms that are just as fundamental — may lead to run-time type violations known as catcalls. We present a new solution to this problem, resulting from recent advances in the Eiffel language, which enables compilers to spot all potential catcalls and forces programmer to resolve them. The resulting language rules statically guarantee type safety; they only require local analysis and are easy to explain to programmers." @default.
• W100668331 created "2016-06-24" @default.
• W100668331 creator A5010676648 @default.
• W100668331 creator A5019766283 @default.
• W100668331 creator A5020886026 @default.
• W100668331 creator A5026349334 @default.
• W100668331 creator A5052968350 @default.
• W100668331 creator A5067547886 @default.
• W100668331 creator A5087030856 @default.
• W100668331 date "2003-01-01" @default.
• W100668331 modified "2023-09-26" @default.
• W100668331 title "Type-safe covariance: Competent compilers can catch all catcalls" @default.
• W100668331 cites W1480576752 @default.
• W100668331 cites W1593874741 @default.
• W100668331 cites W2069037543 @default.
• W100668331 cites W2116793756 @default.
• W100668331 cites W2133941376 @default.
• W100668331 cites W2136316331 @default.
• W100668331 hasPublicationYear "2003" @default.
• W100668331 type Work @default.
• W100668331 sameAs 100668331 @default.
• W100668331 citedByCount "5" @default.
• W100668331 countsByYear W1006683312015 @default.
• W100668331 crossrefType "journal-article" @default.
• W100668331 hasAuthorship W100668331A5010676648 @default.
• W100668331 hasAuthorship W100668331A5019766283 @default.
• W100668331 hasAuthorship W100668331A5020886026 @default.
• W100668331 hasAuthorship W100668331A5026349334 @default.
• W100668331 hasAuthorship W100668331A5052968350 @default.
• W100668331 hasAuthorship W100668331A5067547886 @default.
• W100668331 hasAuthorship W100668331A5087030856 @default.
• W100668331 hasConcept C104317684 @default.
• W100668331 hasConcept C162324750 @default.
• W100668331 hasConcept C169590947 @default.
• W100668331 hasConcept C185592680 @default.
• W100668331 hasConcept C186362262 @default.
• W100668331 hasConcept C18903297 @default.
• W100668331 hasConcept C199360897 @default.
• W100668331 hasConcept C2524010 @default.
• W100668331 hasConcept C2777299769 @default.
• W100668331 hasConcept C2778514511 @default.
• W100668331 hasConcept C2780902518 @default.
• W100668331 hasConcept C31170391 @default.
• W100668331 hasConcept C33923547 @default.
• W100668331 hasConcept C34447519 @default.
• W100668331 hasConcept C41008148 @default.
• W100668331 hasConcept C44779574 @default.
• W100668331 hasConcept C55439883 @default.
• W100668331 hasConcept C55493867 @default.
• W100668331 hasConcept C73752529 @default.
• W100668331 hasConcept C80444323 @default.
• W100668331 hasConcept C86803240 @default.
• W100668331 hasConcept C9136319 @default.
• W100668331 hasConceptScore W100668331C104317684 @default.
• W100668331 hasConceptScore W100668331C162324750 @default.
• W100668331 hasConceptScore W100668331C169590947 @default.
• W100668331 hasConceptScore W100668331C185592680 @default.
• W100668331 hasConceptScore W100668331C186362262 @default.
• W100668331 hasConceptScore W100668331C18903297 @default.
• W100668331 hasConceptScore W100668331C199360897 @default.
• W100668331 hasConceptScore W100668331C2524010 @default.
• W100668331 hasConceptScore W100668331C2777299769 @default.
• W100668331 hasConceptScore W100668331C2778514511 @default.
• W100668331 hasConceptScore W100668331C2780902518 @default.
• W100668331 hasConceptScore W100668331C31170391 @default.
• W100668331 hasConceptScore W100668331C33923547 @default.
• W100668331 hasConceptScore W100668331C34447519 @default.
• W100668331 hasConceptScore W100668331C41008148 @default.
• W100668331 hasConceptScore W100668331C44779574 @default.
• W100668331 hasConceptScore W100668331C55439883 @default.
• W100668331 hasConceptScore W100668331C55493867 @default.
• W100668331 hasConceptScore W100668331C73752529 @default.
• W100668331 hasConceptScore W100668331C80444323 @default.
• W100668331 hasConceptScore W100668331C86803240 @default.
• W100668331 hasConceptScore W100668331C9136319 @default.
• W100668331 hasLocation W1006683311 @default.
• W100668331 hasOpenAccess W100668331 @default.
• W100668331 hasPrimaryLocation W1006683311 @default.
• W100668331 hasRelatedWork W115880509 @default.
• W100668331 hasRelatedWork W125811839 @default.
• W100668331 hasRelatedWork W171500847 @default.
• W100668331 hasRelatedWork W1983173751 @default.
• W100668331 hasRelatedWork W1989013569 @default.
• W100668331 hasRelatedWork W1990365157 @default.
• W100668331 hasRelatedWork W2025566524 @default.
• W100668331 hasRelatedWork W2119629818 @default.
• W100668331 hasRelatedWork W2131012971 @default.
• W100668331 hasRelatedWork W2296677810 @default.
• W100668331 hasRelatedWork W2493181239 @default.
• W100668331 hasRelatedWork W2494455038 @default.
• W100668331 hasRelatedWork W254272710 @default.
• W100668331 hasRelatedWork W2783351471 @default.
• W100668331 hasRelatedWork W2989886155 @default.
• W100668331 hasRelatedWork W3047233922 @default.
• W100668331 hasRelatedWork W3096564020 @default.
• W100668331 hasRelatedWork W31346616 @default.
• W100668331 hasRelatedWork W3206351154 @default.
• W100668331 hasRelatedWork W3009342024 @default.
• W100668331 isParatext "false" @default.
• W100668331 isRetracted "false" @default.

• next