Program logic for higher-order probabilistic programs in Isabelle/HOL

Publication Information

Title

Japanese:
English:	Program logic for higher-order probabilistic programs in Isabelle/HOL

Author

Japanese:	平田路和, 南出靖彦, 佐藤哲也.
English:	Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato.

Language

English

Journal/Book name

Japanese:
English:	Science of Computer Programming

Volume, Number, Page

Vol. 230

Published date

June 2023

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English: