Výsledky vyhledávání - "Hirata, Michikazu"

Akademický článek

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

Autor: Hirata, Michikazu, Minamide, Yasuhiko, Sato, Tetsuya

Publikováno v: In Science of Computer Programming August 2023 230

Zobrazit plný text záznamu

Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL

Autor: Hirata, Michikazu, Minamide, Yasuhiko, Sato, Tetsuya

Publikováno v: Lecture notes in computer science, LNCS. 13215

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::50bcf420ba8b409d27ab14339ff30ad0
http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100875917

Zobrazit plný text záznamu

Isabelle/HOLによる高階確率的プログラム検証

Autor: Hirata, Michikazu, Minamide, Yasuhiko, Sato, Tetsuya

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::b11e24882d983394389226adde8933c8
http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100875475

Zobrazit plný text záznamu