Zobrazeno 1 - 10
of 41 854
pro vyhledávání: '"Paul He"'
Publikováno v:
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, 2023, pp.1-31. ⟨10.1145/3571254⟩
Proceedings of the ACM on Programming Languages, 2023, pp.1-31. ⟨10.1145/3571254⟩
This paper introduces ctrees, a monad for modeling nondeterministic, recursive, and impure programs in Coq. Inspired by Xia et al.'s itrees, this novel data structure embeds computations into coinductive trees with three kind of nodes: external event
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e141125033782b8d8ff47983de3b7d4
https://hal.science/hal-03886910
https://hal.science/hal-03886910
Autor:
Adam Wick, Matthew Yacavone, Paul He, Aaron Tomb, Chris Phifer, Steve Zdancewic, Karl Smeltzer, Andrei Ştefănescu, Eddy Westbrook, Valentin Robert, Brent Carmer
Publikováno v:
Proceedings of the ACM on Programming Languages. 5:1-29
Verifying imperative programs is hard. A key difficulty is that the specification of what an imperative program does is often intertwined with details about pointers and imperative state. Although there are a number of powerful separation logics that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::93b798d0b5c5f53267c8b3d9fdefd315
https://doi.org/10.1145/3485512
https://doi.org/10.1145/3485512
Autor:
Wijnands, Karolina AP, Brink, Peter RG, Weijers, Paul HE, Dejong, Cornelis HC, Poeze, Martijn
Publikováno v:
In The American Journal of Clinical Nutrition May 2012 95(5):1270-1277
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
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
https://doi.org/10.1145/3371119
Publikováno v:
Frontiers in Psychiatry, Vol 6 (2015)
Major Depressive Disorder (MDD) is a serious condition with a lifetime prevalence exceeding 16% worldwide. MDD is a heterogeneous disorder that involves multiple behavioral symptoms on the one hand, and multiple neuronal circuits on the other hand. I
Externí odkaz:
https://doaj.org/article/c0b995ee7cb04b6fb8a6196bfefd1d19
Publikováno v:
CPP '20: The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
CPP '20: The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans LA USA, France. pp.71-84, ⟨10.1145/3372885.3373813⟩
CPP
CPP '20: The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans LA USA, France. pp.71-84, ⟨10.1145/3372885.3373813⟩
CPP
Coinductive reasoning about infinitary structures such as streams is widely applicable. However, practical frameworks for developing coinductive proofs and finding reasoning principles that help structure such proofs remain a challenge, especially in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::058c7fdb3e989084c094f3cf2fb582d5
Publikováno v:
BMC Neuroscience, Vol 8, Iss Suppl 2, p P45 (2007)
Externí odkaz:
https://doaj.org/article/70215b12cc464c2395f3341c64c6cd1b
Autor:
Prabhakar Abhilash KP; Professor & Head (Emergency Medicine), Christian Medical College, Vellore, Tamil Nadu, India., James RI; Assistant Professor (Forensic Medicine & Toxicology), Christian Medical College, Vellore, Tamil Nadu, India., Paul HE; Associate Physician (Microbiology), Member, Hospital Infection Control Committee, Christian Medical College, Vellore, Tamil Nadu, India., Murugesan M; Senior Resident (Microbiology), Member, Hospital Infection Control Committee, Christian Medical College, Vellore, Tamil Nadu, India., Abraham DT; Professor (Endocrine Surgery), Christian Medical College, Vellore, Tamil Nadu, India., Christopher J; Professor & Head (Emergency Nursing), Christian Medical College, Vellore, Tamil Nadu, India., Valsan A; Senior Manager, Hospital Operations, Christian Medical College, Vellore, Tamil Nadu, India., Mammen JJ; Professor (Transfusion Medicine), Associate Director, Christian Medical College, Vellore, Tamil Nadu, India., Rupali P; Professor (Infectious Diseases), Christian Medical College, Vellore, Tamil Nadu, India., Jesudoss I; Professor (Nursing Services), Christian Medical College, Vellore, Tamil Nadu, India., Selvan S; Infection Control Nurse, Hospital Infection Control Committee, Christian Medical College, Vellore, Tamil Nadu, India., Mathews P; Professor (Geriatric Medicine), Medical Superintendent, Christian Medical College, Vellore, Tamil Nadu, India., Peter JV; Professor (Critical Care), Director, Christian Medical College, Vellore, Tamil Nadu, India.
Publikováno v:
Medical journal, Armed Forces India [Med J Armed Forces India] 2022 Sep 02. Date of Electronic Publication: 2022 Sep 02.