Implementing statically typed object-oriented programming languages

DOI10.1145/1922649.1922655MaRDI QIDQ2875056zbMATH OpenOpenAlexWikidataFDO

Authors Roland Ducournau

Publication date 13 August 2014

Published in ACM Computing Surveys (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1922649.1922655

zbMATH Keywords

castingC\#coloringgenericityJavaC++dynamic loadinglinkingmultiple inheritancestatic typinglate bindingmessage sendingtype analysispointer adjustmentseparate compilationEiffelPRMbinary tree dispatchdowncastmethod dispatchsingle inheritanceThetavirtual function tables

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Efficient execution of pure object-oriented programs by follow-up compilation
• Dynamic object-based inheritance with subtyping
• Dynamic overloading with copy semantics in object-oriented languages: a formal account
• scientific article; zbMATH DE number 1508929
• scientific article; zbMATH DE number 4115919

Cited in

(5)

• Generic Components for Static Operations at Object Level
• Metamodeling semantics of multiple inheritance
• Efficient execution of pure object-oriented programs by follow-up compilation
• Immutable Objects for a Java-Like Language
• A paradigmatic object-oriented programming language: Design, static typing and semantics

Describes a project that uses

Uses Software

• SmallEiffel
• Eiffel

This page was built for publication: Implementing statically typed object-oriented programming languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2875056)