J-GLOBAL ID:200901098816150289   Update date: May. 29, 2020

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
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page