Affeldt Reynald

アフェルトレナルド | Affeldt Reynald

Affiliation and department：
Homepage URL (2)： https://staff.aist.go.jp/reynald.affeldt/ , https://staff.aist.go.jp/reynald.affeldt/
Papers (34)：

Reynald Affeldt, David Nowak, Takafumi Saikawa. A hierarchy of monadic effects for program verification using equational reasoning. 13th International Conference on Mathematics of Program Construction (MPC 2019), Porto, Portugal, October 7-9, 2019, Lecture Notes in Computer Science. 2019. 11825. 226-254
Reynald Affeldt, Jacques Garrigue, Xuanrui Qi, Kazunari Tanaka. Proving tree algorithms for succinct data structures. 10th International Conference on Interactive Theorem Proving (ITP 2019), Portland, OR, USA, September 8-13, 2019, Leibniz International Proceedings in Informatics. 2019. 141. 28:1-28:19
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa. Examples of Formal Proofs about Data Compression. International Symposium on Information Theory and Its Applications (ISITA 2018), Singapore, October 28--31, 2018. 2018. 633-637
Akira Tanaka, Reynald Affeldt, Jacques Garrigue. Safe Low-level Code Generation in Coq using Monomorphization and Monadification. Journal of Information Processing. 2018. 26. 54-72
Reynald Affeldt, Cyril Cohen, Damien Rouhling. Formalization Techniques for Asymptotic Reasoning in Classical Analysis. Journal of Formalized Reasoning. 2018. 11. 1. 43-76

ｍore...

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page