研究者
J-GLOBAL ID:200901098816150289   更新日: 2020年05月29日

Affeldt Reynald

アフェルト レナルド | Affeldt Reynald
所属機関・部署:
職名: 主任研究員
ホームページURL (2件): https://staff.aist.go.jp/reynald.affeldt/https://staff.aist.go.jp/reynald.affeldt/
論文 (27件):
  • 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
もっと見る
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る