Zobrazeno 1 - 10
of 112
pro vyhledávání: '"Type and effect systems"'
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.
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:
Madsen, Magnus, van de Pol, Jaco
We present purity reflection, a programming language feature that enables higher-order functions to inspect the purity of their function arguments and to vary their behavior based on this information. The upshot is that operations on data structures
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c0f85a45c2cd0fcbbc8a25e3390061d0
Publikováno v:
Science of Computer Programming. 172:180-202
We introduce a type and effect system, for an imperative object calculus, which infers sharing possibly introduced by the evaluation of an expression, represented as an equivalence relation among its free variables. This direct representation of shar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::930d546b78315850ce9dd052a02bfe76
https://doi.org/10.1016/j.scico.2018.11.007
https://doi.org/10.1016/j.scico.2018.11.007
Autor:
McLaughlin, Craig
This thesis studies relational reasoning techniques for FRANK, a strict functional language supporting algebraic effects and their handlers, within a general, formalised approach for completely characterising observational equivalence. Algebraic effe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______463::560ad212e29b8ed9b6e04ea16627b4e0
https://hdl.handle.net/1842/37236
https://hdl.handle.net/1842/37236
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.
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.
Autor:
Dylan McDermott, Ohad Kammar
Publikováno v:
MFPS
Kammar, O & McDermott, D 2018, ' Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics ', Electronic Notes in Theoretical Computer Science, vol. 341, pp. 239-260 . https://doi.org/10.1016/j.entcs.2018.11.012
Kammar, O & McDermott, D 2018, ' Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics ', Electronic Notes in Theoretical Computer Science, vol. 341, pp. 239-260 . https://doi.org/10.1016/j.entcs.2018.11.012
Type-and-effect systems incorporate information about the computational effects, e.g., state mutation, probabilistic choice, or I/O, a program phrase may invoke alongside its return value. A semantics for type-and-effect systems involves a parameteri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d6aa6594440eeef244eb282f86b1cfe
https://ora.ox.ac.uk/objects/uuid:604d60e1-db77-410e-99ba-5eef92efce8c
https://ora.ox.ac.uk/objects/uuid:604d60e1-db77-410e-99ba-5eef92efce8c
Autor:
Castro, David
This thesis deals with the important problem of parallelising sequential code. Despite the importance of parallelism in modern computing, writing parallel software still relies on many low-level and often error-prone approaches. These low-level appro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______901::adaba066d4d25fe8b3b445ef8708f0ed
https://hdl.handle.net/10023/16093
https://hdl.handle.net/10023/16093
Publikováno v:
International Journal of Information Security. 14:123-140
The emerging Bring Your Own Device (BYOD) paradigm is pushing the adoption of employees' personal mobile devices (e.g., smartphones and tablets) inside organizations for professional usage. However, allowing private, general purpose devices to intera
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a85061f4c2f57e3b56ca410e48eb35ea
https://doi.org/10.1007/s10207-014-0252-y
https://doi.org/10.1007/s10207-014-0252-y