Safe Cross-Language Inheritance

Autor:	Kathryn E. Gray
Rok vydání:	2008
Předmět:	Soundness Inheritance (object-oriented programming) Class (computer programming) Theoretical computer science Computer science Programming language Interfacing Interoperability computer.software_genre Object (computer science) computer Sketch Class hierarchy
Zdroj:	ECOOP 2008 – Object-Oriented Programming ISBN: 9783540705918 ECOOP
Popis:	Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed language with a dynamically-typed class can require a significant number of manual indirections and other error-prone complications. Building on our previous interoperability work, we introduce a technique that allows safe, easy inheritance across languages. We demonstrate our technique for cross-language inheritance with a statically-typed object calculus and a dynamically-typed object calculus, where a statically-typed class can extend a dynamically-typed one and vice versa. We provide a proof sketch of soundness, as well as a guarantee that dynamic type errors do not arise due to statically-typed expressions.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::1b0b82ba29e41ab29c8b9d12db206a9b https://doi.org/10.1007/978-3-540-70592-5_4 Zobrazit plný text záznamu