Zobrazeno 1 - 10
of 257
pro vyhledávání: '"type erasure"'
Autor:
Ermatova Zarina Qaxramonovna
В данной статье хочу немного рассказать о небольшом исследовании реализации expected, в которой используется стирание типа ошибки. Посмотр
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::49997f03b556cac8ced7384a41ea49f7
Autor:
Härnqvist, Ivar
Monomorphization and dynamic dispatch are two common techniques for implementing polymorphism in statically typed programming languages. Function templates in C++ use the former technique to enable algorithms written as generic functions to be effici
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-187108
Polymorphism is a core OO concept. Despite the rich pedagogical experience in teaching it, there are still difficulties in its correct and multifaceted perception by students. In this article, a method about a deeper study of the concept of polymorph
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______9626::241d79974e80a63514421af61c16dbbc
https://thesai.org/Downloads/Volume13No10/Paper_75-Dynamic_Polymorphism_without_Inheritance.pdf
https://thesai.org/Downloads/Volume13No10/Paper_75-Dynamic_Polymorphism_without_Inheritance.pdf
Autor:
Härnqvist, Ivar
Monomorphization and dynamic dispatch are two common techniques for implementing polymorphism in statically typed programming languages. Function templates in C++ use the former technique to enable algorithms written as generic functions to be effici
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______261::9f5fcf96000c2a1ac9f4008ea013d825
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-187108
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-187108
Publikováno v:
MPLR
The Collections framework is an essential utility in virtually every Java application. It offers a set of fundamental data structures that exploit Java Generics and the Object type in order to enable a high degree of reusability. Upon instantiation,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4e82408f4cc37c8563e636103155b88c
https://doi.org/10.1145/3475738.3480718
https://doi.org/10.1145/3475738.3480718
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Norbert Pataki, Péter Soha
Publikováno v:
AIP Conference Proceedings.
Type parametrization is an essential construct in modern programming languages, Java offers generics, C++ offers templates for highly reusable code. The mechanism between these constructs differs and affects usage and runtime performance, as well. Ja
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::444c59277b46ce958098146289821788
https://doi.org/10.1063/1.5114360
https://doi.org/10.1063/1.5114360
Autor:
Ronald Garcia, Rui Ge
Publikováno v:
GPCE
The multi-stage programming paradigm supports runtime code generation and execution. Though powerful, its potential is impeded by the lack of static analysis support. Van Horn and Might proposed a general-purpose approach to systematically develop st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a5fb4342947cdefae67321aed75b715f
https://doi.org/10.1145/3136040.3136047
https://doi.org/10.1145/3136040.3136047
Autor:
Iliano Cervesato, Thierry Sans
Publikováno v:
Fundamenta Informaticae. 130:67-97
This paper introduces an abstract web programming language, QWeSST, and a methodology for proving properties of formalisms, such are QWeSST, that are parallel, distributed and concurrent. At its core, QWeSST is a small functional programming language
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7994a1021ce367c206ba8e797c584a23
https://doi.org/10.3233/fi-2014-982
https://doi.org/10.3233/fi-2014-982
Publikováno v:
IERI Procedia. 4:323-330
In recent years, some researchers have defined many formal semantics for aspect oriented languages. However, only several papers described the semantics of pointcut pipeiing. Unfortunately, these semantics are not complete, independent on software en
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d71ff33d6157260775d12522b35d6d2d