dominproceedings_ref_jp.bib

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