2024-03-29T07:08:24Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001256702023-11-17T02:17:36Z06504:08055:08062
アクションセマンティクスによるSchemeの意味記述Action Semantics of a subset of Schemejpnhttp://id.nii.ac.jp/1001/00125855/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=125670&item_no=1&attribute_id=1&file_no=1東北大学大学院情報科学研究科東北大学大学院情報科学研究科小村, 昌弘伊藤, 貴康公理的意味論や表示的意味論が様々な言語に対して与えちれているが、言語処理系の作成者にとって分り易く実用的な形式的意味論が求められている. そこで言語の操作的概念を直接表現し、英語で表記することで分り易さを実現したアクションセマンティクスがP.Mossesによって提案されている. 本稿ではアクションセマンティクスを用いてSchemeの形式的意味を与え、伝統的な表示的意味論と比較する. また、アクションセマンティクスによる記述が正しく動作することを確認するためにASI(Action Semantics Interpreter)を試作した.AN00349328全国大会講演論文集第48回ソフトウェア2872881994-03-072015-01-20