Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築 (ソフトウェアサイエンス)

Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築

(ソフトウェアサイエンス)

Journal name: 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 109(40) 2009.5.21・22

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 記事
Title: Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築
Author/Editor: 伴潤
今井敬吾
結縁祥治
Series Title: ソフトウェアサイエンス
Author Heading: 伴潤
今井敬吾
結縁祥治
Alternative Title: An SOS interpreter with negative premises and an equivalence checker by Maude
Periodical title: 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
No. or year of volume/issue: 109(40) 2009.5.21・22
Volume: 109
Issue: 40
Pages: 49～54
Publication date of volume/issue (W3CDTF): 2009-05
ISSN (Periodical Title): 0913-5685
ISSN-L (Periodical Title): 0913-5685
Publication (Periodical Title): 東京 : 電子情報通信学会
Place of Publication (Country Code): JP
Text Language Code: jpn
Subject Heading: プロセス計算
構造操作意味定義
Maude
等価性検証
書換え論理
メタレベル
Process Calculus
Structural Operational Semantics
Equivalence Checking
Rewriting Logic
Meta-Level
NDLC: ZN33
Target Audience: 一般
Report No. (Article): SS2009-9
Holding library: 国立国会図書館
Call No.: Z16-940
Data Provider (Database): 国立国会図書館 : 国立国会図書館雑誌記事索引
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 10247086
http://id.ndl.go.jp/bib/10247086
Bibliographic Record Category (NDL): 632