システム検証の科学技術 クリーニ代数入門
スポンサーリンク
概要
- 論文の詳細を見る
クリーニ代数は正規言語を公理的に取り扱うための代数的枠組みである．正規表現が計算機科学のいたるところに現れることを考えると，クリーニ代数が計算機科学に現れる構造の自然なクラスの性質を公理的にとらえ得るであろうことが容易に推測されるであろう．クリーニ代数の定義は，等式とホーン節で与えられるため，ある現象をクリーニ代数においてモデル化すると，その現象が簡単な式変形によって検証できるという特徴をもつ．本稿ではクリーニ代数の基本的な性質とそのプログラム理論への応用例について紹介する．
- 日本ソフトウェア科学会の論文
日本ソフトウェア科学会 | 論文
- LCDと透明弾性体の光弾性を用いたユーザインタフェース (特集 インタラクティブシステムとソフトウェア)
- Bluetoothによる位置検出
- COINSにおけるSIMD並列化(最新コンパイラ技術とCOINSによる実践)
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)