@inproceedings{affeldt2024jfla,
author = {Reynald Affeldt and Zachary Stone},
title = {Towards the Fundamental Theorem of Calculus for the {Lebesgue} integral in {Coq}},
booktitle = {35st Journ\'ees Francophones des Langages Applicatifs (JFLA 2024), Saint-Jacut-de-la-Mer, France, January 30--February 2},
year = {2024},
editor = {},
volume = {},
number = {},
series = {},
pages = {300--304},
address = {},
month = {Jan},
organization = {Inria and others},
publisher = {},
abstract = {\href{https://inria.hal.science/hal-04406350/document}{オープンアクセス}}
}
@inproceedings{ishiguro2023ppl,
author = {石黒 吉洋 and Reynald Affeldt},
title = {A Progress Report on Formalization of Measure Theory with {MathComp-Analysis}},
booktitle = {第25 回プログラミングおよびプログラミング言語ワークショップ(PPL2023), 名古屋大学, March 6--8, 2023},
year = {2023},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Mar},
organization = {},
publisher = {},
abstract = {15 pages. \href{http://staff.aist.go.jp/reynald.affeldt/documents/measure-ppl2023.pdf}{pdf preprint} \href{https://jssst-ppl.org/workshop/2023/}{conference website}}
}
@inproceedings{saito2022ppl,
author = {斉藤 歩夢 and Reynald Affeldt},
title = {Practical Aspects of Monadic Equational Reasoning in {Coq}},
booktitle = {第24 回プログラミングおよびプログラミング言語ワークショップ(PPL2022), March 6--8, 2022},
year = {2022},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Mar},
organization = {},
publisher = {},
abstract = {17 pages. \href{http://staff.aist.go.jp/reynald.affeldt/documents/monae-hb.pdf}{pdf preprint} \href{https://jssst-ppl.org/workshop/2022/}{conference website}}
}
@inproceedings{sauvage2020jfla,
author = {C{\'e}lestine Sauvage and Reynald Affeldt and David Nowak},
title = {Vers la formalisation en {Coq} des transformateurs de monades modulaires},
booktitle = {31st Journ\'ees Francophones des Langages Applicatifs (JFLA 2020), Gruissan, France, January 29--February 1},
year = {2020},
editor = {},
volume = {},
number = {},
series = {},
pages = {23--30},
address = {},
month = {Jan},
organization = {CEA List and others},
publisher = {},
abstract = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/jfla-2020.pdf}{pdf preprint} \href{https://hal.archives-ouvertes.fr/hal-02434736}{オープンアクセス}}
}
@inproceedings{affeldt2019ppl,
author = {Reynald Affeldt and Jacques Garrigue and 才川 隆文},
title = {Reasoning with Conditional Probabilities and Joint Distributions in {Coq}},
booktitle = {第21 回プログラミングおよびプログラミング言語ワークショップ(PPL2019), 岩手県花巻市, March 6--8, 2019},
year = {2019},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Mar},
organization = {},
publisher = {},
abstract = {16 pages. \href{http://staff.aist.go.jp/reynald.affeldt/documents/cproba_ppl2019.pdf}{pdf preprint} \href{https://jssst-ppl.org/workshop/2019/}{conference website}}
}
@inproceedings{tanaka2016ppl,
author = {田中 哲 and Reynald Affeldt and Jacques Garrigue},
title = {Formal Verification of the rank Function for Succinct Data Structures},
booktitle = {第18 回プログラミングおよびプログラミング言語ワークショップ(PPL2016), 岡山県玉野市, March 7--9, 2016},
year = {2016},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Mar},
organization = {},
publisher = {},
abstract = {15 pages. 論文賞 \href{http://logic.cs.tsukuba.ac.jp/ppl2016/}{conference website} \href{https://staff.aist.go.jp/tanaka-akira/succinct/}{プロジェクト ページ}}
}
@inproceedings{hirai2014jfla,
author = {平井 洋一 and Reynald Affeldt},
title = {What could {Coq} do for Database Software?---A Progress Report},
booktitle = {25th Journ\'ees Francophones des Langages Applicatifs (JFLA 2014), Fr\'ejus, France, January 8--11},
year = {2014},
editor = {},
volume = {},
number = {},
series = {},
pages = {33--48},
address = {},
month = {Jan},
organization = {},
publisher = {},
abstract = {}
}
@inproceedings{affeldt2010ppl,
author = {Reynald Affeldt},
title = {Toward Formal Construction of Assembly Arithmetic Functions from Pseudo-code},
booktitle = {第12 回プログラミングおよびプログラミング言語ワークショップ(PPL2010), 香川県琴平温泉, March 3--5, 2010},
year = {2010},
editor = {},
volume = {},
number = {},
series = {},
pages = {1--14},
address = {},
month = {Mar},
organization = {},
publisher = {},
abstract = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/simu.pdf}{pdf preprint} \href{http://isw3.kankyo-u.ac.jp/ppl2010/}{conference website} \href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{プロジェクト ページ}}
}
@inproceedings{marti2007ppl,
author = {Nicolas Marti and Reynald Affeldt},
title = {A~Certified Verifier for a Fragment of Separation Logic},
booktitle = {第9 回プログラミングおよびプログラミング言語ワークショップ(PPL2007), 石川県加賀市, March 8--10, 2007},
year = {2007},
editor = {},
volume = {},
number = {},
series = {},
pages = {187--199},
address = {},
month = {Mar},
organization = {},
publisher = {},
abstract = {論文賞 \href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{プロジェクト ページ}}
}
This file was generated by bibtex2html 1.99.