Zobrazeno 1 - 10
of 30
pro vyhledávání: '"He, Paul"'
This paper introduces Choice Trees (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:
Externí odkaz:
http://arxiv.org/abs/2211.06863
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:
http://arxiv.org/abs/2001.02659
Autor:
Xia, Li-yao, Zakowski, Yannick, He, Paul, Hur, Chung-Kil, Malecha, Gregory, Pierce, Benjamin C., Zdancewic, Steve
"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:
http://arxiv.org/abs/1906.00046
The study of word equations (or the existential theory of equations over free monoids) is a central topic in mathematics and theoretical computer science. The problem of deciding whether a given word equation has a solution was shown to be decidable
Externí odkaz:
http://arxiv.org/abs/1802.00523
Dependent Object Types (DOT) is intended to be a core calculus for modelling Scala. Its distinguishing feature is abstract type members, fields in objects that hold types rather than values. Proving soundness of DOT has been surprisingly challenging,
Externí odkaz:
http://arxiv.org/abs/1706.03814
Noninterference is the strong information-security property that a program does not leak secrets through publicly-visible behavior. In the presence of effects such as nontermination, state, and exceptions, reasoning about noninterference quickly beco
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ff46e388c5f3ca8c511510145056d5a9
Noninterference is the strong information-security property that a program does not leak secrets through publicly-visible behavior. In the presence of effects such as nontermination, state, and exceptions, reasoning about noninterference quickly beco
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5cf7510e03d24936a55e125f6084b3d7
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.
Autor:
Paul HE
Publikováno v:
Canadian Medical Association journal [Can Med Assoc J] 1919 Jul; Vol. 9 (7), pp. 614-24.
Publikováno v:
The Journal of pharmacology and experimental therapeutics [J Pharmacol Exp Ther] 1950 Feb; Vol. 98 (2), pp. 153-65.