Zobrazeno 1 - 10
of 3 559
pro vyhledávání: '"dynamic typing"'
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.
The semantic foundations for logic programming are usually separated into two different approaches. The operational semantics, which uses SLD-resolution, the proof method that computes answers in logic programming, and the declarative semantics, whic
Externí odkaz:
http://arxiv.org/abs/2208.00192
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.
Publikováno v:
International Journal of Software Engineering and Knowledge Engineering. 32:745-768
Python is a popular typical dynamic programming language. In Python, dynamic typing is one of the most critical dynamic features. The lack of type information is likely to hinder the maintenance of Python projects. However, existing work has seldom f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b11d58c6365c645fb842ca29ca592738
https://doi.org/10.1142/s0218194022500243
https://doi.org/10.1142/s0218194022500243
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.
Publikováno v:
Logic-Based Program Synthesis and Transformation ISBN: 9783031167669
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::27aa2cf251ce4637d65e005f2b542d81
https://doi.org/10.1007/978-3-031-16767-6_7
https://doi.org/10.1007/978-3-031-16767-6_7
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:
Atsushi Ohori, Katsuhiro Ueno
Publikováno v:
Programming Languages and Systems ISBN: 9783030890506
This paper develops a systematic method for extending a polymorphic type system of ML with dynamic typing, and implements the extension in SML#. The core of the extension consists of an adaptation of the type-directed compilation method for non-param
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a16c9ad9eb974e76138fde761752b3a7
https://doi.org/10.1007/978-3-030-89051-3_9
https://doi.org/10.1007/978-3-030-89051-3_9
Kniha
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.
Conference
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.