Zobrazeno 1 - 10
of 312
pro vyhledávání: '"Effect system"'
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:
حکمت سینوی, Vol 24, Iss 64, Pp 117-136 (2020)
Based on Richard Frank's book, Creation and the Cosmic System: Al-Ghazali & Avicenna, this article examines some topics on the creation of the universe and al-Ghazali's thought about them and proposes that al-Ghazali has been affected by Avicenna and
Externí odkaz:
https://doaj.org/article/5619ecf905d04ec7b6c721b83ba77665
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:
Mingqing Liu, Jun Liu, Mengyang Zhen, Futian Zhao, Zhimin Xiao, Peng Shan, Yue Wang, Chen Ou, Haowen Zheng, Zheng Liu
Publikováno v:
Applied Sciences, Vol 10, Iss 16, p 5398 (2020)
In blasting operation, some undesirable impacts, such as fly-rock, fragmentation, and back break, are induced. If the blasting design is not optimized, these mentioned impacts would reduce the blasting efficiency. To improve and optimize the blast de
Externí odkaz:
https://doaj.org/article/df9fa2fcdbbd46348495d5f724b372e9
Using Argumentation to Solve Conflicting Situations in Users’ Preferences in Ambient Assisted Living
Autor:
Carl James-Reynolds, Chimezie Leonard Oguego, Mark Springett, Juan Carlos Augusto, Mario Quinde
Publikováno v:
Applied Artificial Intelligence. 35:2327-2369
Preferences are fundamental in decision making, so understanding preference management is key in developing systems that guide the choices of the users. These choices can be decided through argument(s) which are known to have various strengths, as on
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::83189f20e1ef507ae3534ff91a315c70
https://doi.org/10.1080/08839514.2021.1966986
https://doi.org/10.1080/08839514.2021.1966986
Publikováno v:
Proceedings of the ACM on Programming Languages. 5:1-32
Ownership type systems, based on the idea of enforcing unique access paths, have been primarily focused on objects and top-level classes. However, existing models do not as readily reflect the finer aspects of nested lexical scopes, capturing, or esc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::79ec98f7dd0d35db372e59b07b1753f4
https://doi.org/10.1145/3485516
https://doi.org/10.1145/3485516
Autor:
Jaco van de Pol, Magnus Madsen
Publikováno v:
Proceedings of the ACM on Programming Languages. 4:1-29
We present a simple, practical, and expressive type and effect system based on Boolean constraints. The effect system extends the Hindley-Milner type system, supports parametric polymorphism, and preserves principal types modulo Boolean equivalence.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ffae8ebceae0411bababc9502f3ab533
https://doi.org/10.1145/3428222
https://doi.org/10.1145/3428222
Publikováno v:
Proceedings of the ACM on Programming Languages. 4:1-28
The Dependent Object Types (DOT) calculus serves as a foundation of the Scala programming language, with a machine-verified soundness proof. However, Scala's type system has been shown to be unsound due to null references, which are used as default v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::58aebad7a8806a454faa18a028d4fb65
https://doi.org/10.1145/3428276
https://doi.org/10.1145/3428276
Publikováno v:
MSFP@ETAPS
Proceedings Eighth Workshop on Mathematically Structured Functiona Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020
Proceedings Eighth Workshop on Mathematically Structured Functiona Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020
Monads are a useful tool for structuring effectful features of computation such as state, non-determinism, and continuations. In the last decade, several generalisations of monads have been suggested which provide a more fine-grained model of effects
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb4e20daddb96781ff1719dfd0ad6502
https://doi.org/10.4204/eptcs.317.2
https://doi.org/10.4204/eptcs.317.2
Autor:
M. A. Belyaev, V. A. Tsesko
Publikováno v:
Моделирование и анализ информационных систем, Vol 18, Iss 4, Pp 45-55 (2011)
The intention of this paper is to describe a static analysis tool under development. The principal idea behind the design of this tool is to use type and effect systems for static analysis of real programs. The tool uses LLVM bitcode files as input,
Externí odkaz:
https://doaj.org/article/93bcb840829642eeafc02d77208e0bc3