操作的意味の間の変換

スポンサーリンク

概要

• 論文の詳細を見る

• 分配則間のマップが,言語の振舞いを表す遷移系の間の双模倣を導くこと,すなわち操作的意味を保存する変換を与えることを簡単な議論で示す.また分配則のマップの具体例も示す.操作的規則のモデル化はTuriとPlotkinによる分配則モデルを使う.分配則間のマップとは分配則の2-圏の1-セルである.

• 一般社団法人情報処理学会の論文
• 2003-03-15

著者

• 渡邊 宏

  独立行政法人産業技術総合研究所情報科学連携研究体

関連論文

• モデル検査器を用いた自動検針システムの仕様検証
• 画面遷移仕様のモデル検査(サイバー増大ページ論文概要,サイバー増大号)
• 操作的意味の間の変換

スポンサーリンク