Matches in SemOpenAlex for { <https://semopenalex.org/work/W2085164448> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2085164448 endingPage "565" @default.
- W2085164448 startingPage "517" @default.
- W2085164448 abstract "Mainstream object-oriented languages often fail to provide complete powerful features altogether, such as, multiple inheritance, dynamic overloading and copy semantics of inheritance. In this paper we present a core object-oriented imperative language that integrates all these features in a formal framework. We define a static type system and a translation of the language into the meta-language λ_object, , in order to account for semantic issues and prove type safety of our proposal." @default.
- W2085164448 created "2016-06-24" @default.
- W2085164448 creator A5006805009 @default.
- W2085164448 creator A5022120276 @default.
- W2085164448 creator A5083629281 @default.
- W2085164448 date "2009-03-12" @default.
- W2085164448 modified "2023-09-27" @default.
- W2085164448 title "Dynamic overloading with copy semantics in object-oriented languages: a formal account" @default.
- W2085164448 cites W1525643703 @default.
- W2085164448 cites W1544633123 @default.
- W2085164448 cites W1604928976 @default.
- W2085164448 cites W1971740571 @default.
- W2085164448 cites W1980939032 @default.
- W2085164448 cites W1994181029 @default.
- W2085164448 cites W2017743728 @default.
- W2085164448 cites W2027657506 @default.
- W2085164448 cites W2033348393 @default.
- W2085164448 cites W2054373994 @default.
- W2085164448 cites W2111898165 @default.
- W2085164448 cites W2173184982 @default.
- W2085164448 cites W4212991676 @default.
- W2085164448 cites W4233290120 @default.
- W2085164448 cites W4244555727 @default.
- W2085164448 doi "https://doi.org/10.1051/ita/2009008" @default.
- W2085164448 hasPublicationYear "2009" @default.
- W2085164448 type Work @default.
- W2085164448 sameAs 2085164448 @default.
- W2085164448 citedByCount "1" @default.
- W2085164448 countsByYear W20851644482012 @default.
- W2085164448 crossrefType "journal-article" @default.
- W2085164448 hasAuthorship W2085164448A5006805009 @default.
- W2085164448 hasAuthorship W2085164448A5022120276 @default.
- W2085164448 hasAuthorship W2085164448A5083629281 @default.
- W2085164448 hasBestOaLocation W20851644482 @default.
- W2085164448 hasConcept C138885662 @default.
- W2085164448 hasConcept C146072743 @default.
- W2085164448 hasConcept C146499914 @default.
- W2085164448 hasConcept C154945302 @default.
- W2085164448 hasConcept C184337299 @default.
- W2085164448 hasConcept C199360897 @default.
- W2085164448 hasConcept C2781238097 @default.
- W2085164448 hasConcept C41008148 @default.
- W2085164448 hasConcept C41895202 @default.
- W2085164448 hasConceptScore W2085164448C138885662 @default.
- W2085164448 hasConceptScore W2085164448C146072743 @default.
- W2085164448 hasConceptScore W2085164448C146499914 @default.
- W2085164448 hasConceptScore W2085164448C154945302 @default.
- W2085164448 hasConceptScore W2085164448C184337299 @default.
- W2085164448 hasConceptScore W2085164448C199360897 @default.
- W2085164448 hasConceptScore W2085164448C2781238097 @default.
- W2085164448 hasConceptScore W2085164448C41008148 @default.
- W2085164448 hasConceptScore W2085164448C41895202 @default.
- W2085164448 hasIssue "3" @default.
- W2085164448 hasLocation W20851644481 @default.
- W2085164448 hasLocation W20851644482 @default.
- W2085164448 hasOpenAccess W2085164448 @default.
- W2085164448 hasPrimaryLocation W20851644481 @default.
- W2085164448 hasRelatedWork W1502188990 @default.
- W2085164448 hasRelatedWork W1531449390 @default.
- W2085164448 hasRelatedWork W1581092032 @default.
- W2085164448 hasRelatedWork W2035334563 @default.
- W2085164448 hasRelatedWork W2085164448 @default.
- W2085164448 hasRelatedWork W2152804907 @default.
- W2085164448 hasRelatedWork W2156223462 @default.
- W2085164448 hasRelatedWork W2563822555 @default.
- W2085164448 hasRelatedWork W2721743027 @default.
- W2085164448 hasRelatedWork W3013513408 @default.
- W2085164448 hasVolume "43" @default.
- W2085164448 isParatext "false" @default.
- W2085164448 isRetracted "false" @default.
- W2085164448 magId "2085164448" @default.
- W2085164448 workType "article" @default.