Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Concurrency Nondeterminism"'
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
