Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Psychosocial adaptation profiles in young and middle-aged patients with acute myocardial infarction: a latent profile analysis.

Autor: Xiong, Jia-ming, Su, Jin, Ke, Qi-qi, Li, Yao-xia, Gong, Ni, Yang, Qiao-hong

Publikováno v: European Journal of Cardiovascular Nursing; Apr2024, Vol. 23 Issue 3, p267-277, 11p

C4: verified transactional objects

Autor: Mohsen Lesani, Li-yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, Steve Zdancewic

Publikováno v: Lesani, M, Xia, L, Kaseorg, A, Bell, C J, Chlipala, A, Pierce, B C & Zdancewic, S 2022, ' C4: Verified Transactional Objects ', Proceedings of the ACM on Programming Languages, vol. 6, no. OOPSLA1, 80 . https://doi.org/10.1145/3527324

Transactional objects combine the performance of classical concurrent objects with the high-level programmability of transactional memory. However, verifying the correctness of transactional objects is tricky, requiring reasoning simultaneously about

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7722f82c45baed9279e61a8cc10ec1dd
https://doi.org/10.1145/3527324

Interaction trees: representing recursive and impure programs in Coq

Autor: Chung-Kil Hur, Benjamin C. Pierce, Steve Zdancewic, Li-yao Xia, Gregory Malecha, Yannick Zakowski, Paul He

Publikováno v: Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), pp.1-32. ⟨10.1145/3371119⟩
Xia, L, Zakowski, Y, He, P, Hur, C-K, Malecha, G, Pierce, B C & Zdancewic, S 2019, ' Interaction Trees: Representing Recursive and Impure Programs in Coq ', Proceedings of the ACM on Programming Languages, vol. 4, no. POPL, 51 . https://doi.org/10.1145/3371119

"Interaction trees" (ITrees) are a general-purpose data structure for representing the behaviors of recursive programs that interact with their environments. A coinductive variant of "free monads," ITrees are built out of uninterpreted events and the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::980af888520ab46c18a347e22f031f1d
https://doi.org/10.1145/3371119

Reasoning about the garden of forking paths

Autor: Li-yao Xia, Stephanie Weirich, Yao Li

Publikováno v: Li, Y, Xia, L & Weirich, S 2021, ' Reasoning about the Garden of Forking Paths ', Proceedings of the ACM on Programming Languages, vol. 5, no. ICFP, 80 . https://doi.org/10.1145/3473585

Lazy evaluation is a powerful tool for functional programmers. It enables the concise expression of on-demand computation and a form of compositionality not available under other evaluation strategies. However, the stateful nature of lazy evaluation

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::753e3546328c4fcdc19f2795d0846370