操作的意味の間の変換

• Item type: Trans(1)
• 公開日: 2003-03-15
• タイトル: 操作的意味の間の変換
• タイトル / 言語: en
• タイトル: Well - behaved Translations between Structural Operational Semantics
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 発表概要
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 独立行政法人産業技術総合研究所情報科学連携研究体
• 著者所属(英): en
• 著者所属(英): CRT of Informatics, National Institute of Advanced Industrial Science and Technology
• 著者名: 渡邊, 宏
• 著者名(英): Hiroshi, Watanabe
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 分配則間のマップが，言語の振舞いを表す遷移系の間の双模倣を導くこと，すなわち操作的意味を保存する変換を与えることを簡単な議論で示す．また分配則のマップの具体例も示す．操作的規則のモデル化はTuri とPlotkin による分配則モデルを使う．分配則間のマップとは分配則の2?圏の1?セルである．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We examine two versions of maps between distributive laws as candidates for well-behaved translations between structural operational semantics, and validate that by using simple coalgebraic arguments. We give some concrete examples of well-behaved translations that are maps between distributive laws. The modelling of structural operational semantics uses Turi and Plotkin’s categorical models of GSOS. These maps between distributive laws come from the previous work on 2-categories of distributive laws.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 44, 号 SIG04(PRO17), p. 81-81, 発行日 2003-03-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会