Zobrazeno 1 - 10
of 43
pro vyhledávání: '"Michael Mislove"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 17, Issue 2 (2021)
We describe a type system with mixed linear and non-linear recursive types called LNL-FPC (the linear/non-linear fixpoint calculus). The type system supports linear typing, which enhances the safety properties of programs, but also supports non-linea
Externí odkaz:
https://doaj.org/article/797e96129c474376ba2e5b306acb1eb0
Autor:
Michael Mislove
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 88, Iss Proc. DCM 2011, Pp 87-100 (2012)
Shannon's classical information theory uses probability theory to analyze channels as mechanisms for information flow. In this paper, we generalize results of Martin, Allwein and Moskowitz for binary channels to show how some more modern tools - prob
Externí odkaz:
https://doaj.org/article/6458673624344b1a872cd83bc8a06dd6
Publikováno v:
Indagationes Mathematicae. 33:1137-1171
We investigate a category of quantum posets that generalizes the category of posets and monotone functions. Up to equivalence, its objects are hereditarily atomic von Neumann algebras equipped with quantum partial orders in Weaver's sense. We show th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ee314f07bdee79cf788f1a84eb7e81d8
https://doi.org/10.1016/j.indag.2022.07.001
https://doi.org/10.1016/j.indag.2022.07.001
Publikováno v:
49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022)
49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022), Jan 2022, Philadelphia, United States. ⟨10.1145/3498687⟩
POPL 2022-49th ACM SIGPLAN Symposium on Principles of Programming Languages
POPL 2022-49th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2022, Philadelphia, United States. ⟨10.1145/3498687⟩
49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022), Jan 2022, Philadelphia, United States. ⟨10.1145/3498687⟩
POPL 2022-49th ACM SIGPLAN Symposium on Principles of Programming Languages
POPL 2022-49th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2022, Philadelphia, United States. ⟨10.1145/3498687⟩
We consider a programming language that can manipulate both classical and quantum information. Our language is type-safe and designed for variational quantum programming, which is a hybrid classical-quantum computational paradigm. The classical subsy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9f304e4e20d092201fd763a881cc8b48
https://hal.inria.fr/hal-03519235
https://hal.inria.fr/hal-03519235
We introduce the monoidal closed category qCPO of quantum cpos, whose objects are "quantized" analogs of omega-complete partial orders (cpos). The category qCPO is enriched over the category CPO of cpos, and contains both CPO, and the opposite of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::52c26a92b719ee91cfe2706bab7b7949
http://arxiv.org/abs/2109.02196
http://arxiv.org/abs/2109.02196
Autor:
Xiaodong Jia, Michael Mislove
Publikováno v:
Topology and its Applications. 318:108192
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fa2621c2772582e1e38887257d742519
https://doi.org/10.1016/j.topol.2022.108192
https://doi.org/10.1016/j.topol.2022.108192
Autor:
Michael Mislove, Prakash Panangaden
Publikováno v:
ACM SIGLOG News. 3:44-46
In this quarter's column, Stephen Brookes and Peter O'Hearn describe how Concurrent Separation Logic (CSL) arose, including a little about the soundness proof and a discussion of later developments that arose from CSL. The column is especially timely
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b346642c69ef0323e3786f254e1231fb
https://doi.org/10.1145/2984450.2984456
https://doi.org/10.1145/2984450.2984456
Autor:
Michael Mislove
Publikováno v:
The Bulletin of Symbolic Logic. 18:142-149
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::160919b5964d2ed34da1a5623a4979da
https://doi.org/10.2178/bsl/1327328443
https://doi.org/10.2178/bsl/1327328443
Publikováno v:
Proceedings of Symposia in Applied Mathematics. :125-182
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::68a6d151d07b642ba59bd84e1a37d539
https://doi.org/10.1090/psapm/071/604
https://doi.org/10.1090/psapm/071/604
Autor:
Michael Mislove
Publikováno v:
ACM SIGLOG News. 4:41-42
I am pleased to introduce J ane H illston as this quarter's SIGLOG Semantics columnist. Jane's research focuses on performance modeling of computer and communications systems using Markovian stochastic process algebra. This area combines the computat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b9bd4c692a19266aa399effa6620b5e0
https://doi.org/10.1145/3129173.3129181
https://doi.org/10.1145/3129173.3129181