非決定性,確率,および終結の組合せ:方程式および計量推論【JST・京大機械翻訳】

プレプリント

J-GLOBAL ID：202202220443560704 整理番号：21P0064829

Combining nondeterminism, probability, and termination: equational and metric reasoning

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2020年12月01日プレプリントサーバーでの情報更新日： 2021年04月21日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

プログラム意味論において必須である終端の可能性と非決定論的および確率的挙動の組合せから生じるモナドを研究した。著者らの主な貢献は,モナドの提示結果であり,プログラムの等価性と距離を確立するための方程式推論ツールを提供する。【JST・京大機械翻訳】

,
, , 【Automatic Indexing@JST】

計算機システム開発 , 計算理論

, , , , ,

前のページに戻る