Formal Verification of Higher-order Probabilistic Programs

論文・著書情報

タイトル

和文:
英文:	Formal Verification of Higher-order Probabilistic Programs

著者

和文:	佐藤哲也, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu.
英文:	Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu.

言語

English

掲載誌/書名

和文:
英文:	In Proceedings of the ACM on Programming Languages

巻, 号, ページ

Volume 3 Issue POPL

出版年月

2019年1月

出版者

和文:
英文:

会議名称

和文:
英文:	The 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019)

開催地

和文:	カスカイシュ
英文:	Cascais