Semantics of Probabilistic Programs using s-Finite Kernels in Coq-Reference-Cited by-同舟云学术

Semantics of Probabilistic Programs using s-Finite Kernels in Coq

Published:2023-01-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs
language:
Short-container-title:

Author:

Affeldt Reynald¹,Cohen Cyril²,Saito Ayumu³

Affiliation:

1. AIST, Japan

2. Inria, France

3. Tokyo Institute of Technology, Japan

Funder

Japan Society for the Promotion of Science

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3573105.3575691

Reference39 articles.

1. Reynald Affeldt , Yves Bertot , Cyril Cohen Marie Kerjean , Assia Mahboubi, Damien Rouhling, Pierre Roux, Kazuhiko Sakaguchi, Zachary Stone, Pierre-Yves Strub, and Laurent Théry. 2022 . MathComp-Analysis: Mathematical Components compliant Analysis Library . https://github.com/math-comp/analysis Since 2017. Version 0.5.4 Reynald Affeldt, Yves Bertot, Cyril Cohen Marie Kerjean, Assia Mahboubi, Damien Rouhling, Pierre Roux, Kazuhiko Sakaguchi, Zachary Stone, Pierre-Yves Strub, and Laurent Théry. 2022. MathComp-Analysis: Mathematical Components compliant Analysis Library. https://github.com/math-comp/analysis Since 2017. Version 0.5.4

2. Reynald Affeldt and Cyril Cohen. 2022. Measure Construction by Extension in Dependent Type Theory with Application to Integration. arxiv:2209.02345. Reynald Affeldt and Cyril Cohen. 2022. Measure Construction by Extension in Dependent Type Theory with Application to Integration. arxiv:2209.02345.

3. Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis

4. Reynald Affeldt Cyril Cohen and Ayumu Saito. 2022. Semantics of Probabilistic Programs using s-Finite Kernels in Coq. MathComp-Analysis Pull Request. https://github.com/math-comp/analysis/pull/749 Reynald Affeldt Cyril Cohen and Ayumu Saito. 2022. Semantics of Probabilistic Programs using s-Finite Kernels in Coq. MathComp-Analysis Pull Request. https://github.com/math-comp/analysis/pull/749

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks;2023 IEEE Real-Time Systems Symposium (RTSS);2023-12-05

2. Measure Construction by Extension in Dependent Type Theory with Application to Integration;Journal of Automated Reasoning;2023-08-18

3. Semantics of Probabilistic Programs using s-Finite Kernels in Coq;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11

4. Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq;Programming Languages and Systems;2023