A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning-Reference-Cited by-同舟云学术

A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning

Published:2019 Issue: Volume: Page:226-254
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Affeldt Reynald^ORCID,Nowak David,Saikawa Takafumi^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-33636-3_9

Reference40 articles.

1. Abou-Saleh, F., Cheung, K.H., Gibbons, J.: Reasoning about probability and nondeterminism. In: Workshop on Probabilistic Programming Semantics, St. Petersburg, FL, USA, 23 January 2016, January 2016

2. Affeldt, R., Cohen, C., Rouhling, D.: Formalization techniques for asymptotic reasoning in classical analysis. J. Formaliz. Reason. 11(1), 43–76 (2018)

3. Affeldt, R., Garrigue, J., Nowak, D., Saikawa, T.: A Coq formalization of monadic equational reasoning (2018). https://github.com/affeldt-aist/monae

4. Affeldt, R., et al.: A Coq formalization of information theory and linear error-correcting codes (2018). https://github.com/affeldt-aist/infotheo

5. Lecture Notes in Computer Science;AW Appel,2007

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

1. 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

2. Formalized High Level Synthesis with Applications to Cryptographic Hardware;Lecture Notes in Computer Science;2023

3. Towards a Practical Library for Monadic Equational Reasoning in Coq;Lecture Notes in Computer Science;2022

4. A trustful monad for axiomatic reasoning with probability and nondeterminism;Journal of Functional Programming;2021

5. Validating Mathematical Structures;Automated Reasoning;2020