|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b30. リサーチレポート >
Research Report - School of Information Science ： ISSN 0918-7553 >
IS-RR-2015 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/12607
|
| タイトル: | Generic Proof Scores for Generate & Check Method in CafeOBJ |
| 著者: | Futatsugi, Kokichi |
| 発行日: | 2015-02-18 |
| 出版者: | 北陸先端科学技術大学院大学情報科学研究科 |
| 誌名: | Research report (School of Information Science, Japan Advanced Institute of Science and Technology) |
| 巻: | IS-RR-2015-002 |
| 開始ページ: | 1 |
| 終了ページ: | 32 |
| 抄録: | Generic proof scores for the generate & check method in CafeOBJ are described. The generic proof scores codify the generate & check method as parameterized modules in the CafeOBJ language independently of specific systems to which the method applies. Proof scores for a specific system can be obtained by substituting the parameter modules of the parameterized modules with the specification modules of the specific system. The effectiveness of the generic proof scores is demonstrated by applying them to a simple but non-trivial example. |
| URI: | http://hdl.handle.net/10119/12607 |
| 資料タイプ: | publisher |
| 出現コレクション: | IS-RR-2015
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| IS-RR-2015-002.pdf | | 237Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
