Dynamic overloading with copy semantics in object-oriented languages: a formal account

DOI10.1051/ita/2009008zbMath1175.68094OpenAlexW2085164448MaRDI QIDQ5321777

Sara Capecchi, Lorenzo Bettini, Betti Venneri

Publication date: 15 July 2009

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=ITA_2009__43_3_517_0/

zbMATH Keywords

type systemstyped lambda calculusmulti-methodsobject-oriented languagesdynamic overloadingcopy semantics

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (1)

An operational semantics for object-oriented concepts based on the class hierarchy

Uses Software

• CLOS
• Eiffel
• Featherweight Java
• Dylan

Cites Work

• A semantics of multiple inheritance
• A syntactic approach to type soundness
• A meta-language for typed object-oriented languages
• Modular statically typed multimethods
• A calculus for overloaded functions with subtyping
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Dynamic overloading with copy semantics in object-oriented languages: a formal account