1ソートプログラム代数【JST・京大機械翻訳】

Sedlar Igor; Wannenburg Johann J.

プレプリント

J-GLOBAL ID：202202221224570261 整理番号：22P0345456

1ソートプログラム代数【JST・京大機械翻訳】

One-sorted Program Algebras

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

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

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

テスト,KATによるKleene代数は,プログラムの命題の特性を検証するために,単純な2ソート代数フレームワークを提供する。ドメイン,KADを有するKleene代数は,KATに対する1ソーティング代替である。KATの方程式理論はKADに埋め込むが,KADはKATのいくつかの自然特性を欠いている。例えば,各Kleene代数はKADに拡張せず,各KADにおける試験のサブ代数は負の円錐の最大Boole代数である。本論文では,KATの方程式理論を埋め込む一方で,これらの特徴を回避するKADの一般化を提案した。KADのドメイン演算子のいくつかの自然特性を,結果に影響することなく一般化フレームワークに追加できることを示した。テスト相補性がKleene代数乗算の残差を用いて定義されるフレームワークのバリアントを考察した。【JST・京大機械翻訳】

, , , , , , , ,

システム・制御理論一般 , 計算機システム開発

前のページに戻る