Implementing statically typed object-oriented programming languages

DOI10.1145/1922649.1922655zbMATH Open1293.68072OpenAlexW1989013569WikidataQ130952689 ScholiaQ130952689MaRDI QIDQ2875056

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

JavalinkingC++coloringgenericitycastingC\#dynamic loadingmultiple inheritancestatic typinglate bindingmessage sendingtype analysispointer adjustmentseparate compilationEiffelPRMbinary tree dispatchdowncastmethod dispatchsingle inheritanceThetavirtual function tables

Mathematics Subject Classification ID

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

Related Items (4)

Metamodeling semantics of multiple inheritance ⋮ Immutable Objects for a Java-Like Language ⋮ Generic Components for Static Operations at Object Level ⋮ A paradigmatic object-oriented programming language: Design, static typing and semantics

Uses Software

• Eiffel
• SmallEiffel

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)