Formal Verification of Higher-order Probabilistic Programs

Publication Information

Title

Japanese:
English:	Formal Verification of Higher-order Probabilistic Programs

Author

Japanese:	佐藤哲也, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu.
English:	Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu.

Language

English

Journal/Book name

Japanese:
English:	In Proceedings of the ACM on Programming Languages

Volume, Number, Page

Volume 3 Issue POPL

Published date

Jan. 2019

Publisher

Japanese:
English:

Conference name

Japanese:
English:	The 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019)

Conference site

Japanese:	カスカイシュ
English:	Cascais