日本ソフトウェア科学会大会講演論文集
Online ISSN : 1349-3515
ISSN-L : 0913-5391
日本ソフトウェア科学会第22回大会
セッションID: 3A-2
会議情報

CRSとその代数構造: 操作的意味論の統一的な解析へ向けて
*浜名 誠
著者情報
会議録・要旨集 フリー

詳細
抄録

プログラムの理論的研究において、操作的意味論を与え、その性質を調べることは最も重要な課題の一つである。通常、プログラム言語は場合ごとに構文も意味論も異なるため、その時ごとに個別に考察されるが、なんらかの統一的なメタ言語とそれを用いた体系で操作的意味論の性質が保証できれば有用である。本稿はKlopによるCRSという高階書換えの体系がこのような目的に合致し、さらにそのよい数学的性質から、停止性の証明手法が導出できることを示す。

著者関連情報
© 2005 日本ソフトウェア科学会
前の記事 次の記事
feedback
Top