Dynamic overloading with copy semantics in object-oriented languages: a formal account
| Autor: | Sara Capecchi, Betti Venneri, Lorenzo Bettini |
|---|---|
| Rok vydání: | 2009 |
| Předmět: |
Object-oriented programming
Computer science Programming language General Mathematics Multiple inheritance computer.software_genre Computer Science Applications Imperative programming Semantics of logic Type safety Formal language Lambda calculus computer Typed lambda calculus Software computer.programming_language |
| Zdroj: | RAIRO - Theoretical Informatics and Applications. 43:517-565 |
| ISSN: | 1290-385X 0988-3754 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|