Bibliographic Details
| Title: |
DYNAMIC OVERLOADING WITH COPY SEMANTICS IN OBJECT-ORIENTED LANGUAGES: A FORMAL ACCOUNT. |
| Authors: |
BETTINI, LORENZO, CAPECCHI, SARA, VENNERI, BETTI |
| Source: |
RAIRO - Theoretical Informatics & Applications; 2009, Vol. 43 Issue 3, p517-565, 49p, 10 Charts |
| Subject Terms: |
SEMANTICS, COMPARATIVE linguistics, LANGUAGE & languages, INFORMATION theory, MEANING (Psychology), LEXICOLOGY, LINGUISTICS |
| 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. [ABSTRACT FROM AUTHOR] |
|
Copyright of RAIRO - Theoretical Informatics & Applications is the property of EDP Sciences and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Database: |
Complementary Index |
Nájsť tento článok vo Web of Science