Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Nicolas Chappe"'
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
Publikováno v:
The Art, Science, and Engineering of Programming
The Art, Science, and Engineering of Programming, aosa, Inc., 2021, 6 (1), pp.1-41. ⟨10.22152/programming-journal.org/2022/6/3⟩
The Art, Science, and Engineering of Programming, 2021, 6 (1), pp.1-41. ⟨10.22152/programming-journal.org/2022/6/3⟩
The Art, Science, and Engineering of Programming, aosa, Inc., 2021, 6 (1), pp.1-41. ⟨10.22152/programming-journal.org/2022/6/3⟩
The Art, Science, and Engineering of Programming, 2021, 6 (1), pp.1-41. ⟨10.22152/programming-journal.org/2022/6/3⟩
International audience; A future is an entity representing the result of an ongoing computation. A synchronisation with a "get" operation blocks the caller until the computation is over, to return the corresponding value. When a computation in charge
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::384c997d036a7968fa24c2f655e94cb2
https://hal.inria.fr/hal-03440766
https://hal.inria.fr/hal-03440766