|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b30. リサーチレポート >
Research Report - School of Information Science ： ISSN 0918-7553 >
IS-RR-2010 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/8848
|
| タイトル: | Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications (Extended Version) |
| 著者: | Zhang, Min
Ogata, Kazuhiro |
| 発行日: | 2010-03-10 |
| 出版者: | 北陸先端科学技術大学院大学情報科学研究科 |
| 誌名: | Research report (School of Information Science, Japan Advanced Institute of Science and Technology) |
| 巻: | IS-RR-2010-002 |
| 開始ページ: | 1 |
| 終了ページ: | 16 |
| 抄録: | Specification translation plays an important part in the integration of theorem proving and model checking techniques for system verification. Mucheffort is required to implement a translation tool in conventional programming languages. Maude provides powerful meta-programming facilities that allow us to develop formal translation tools with less effort. In this paper, we present a modular implementation of a translator that is developed in Maude. The translator takes a behavioral specification and produces a rewrite theoryspecification. The implementation of the translator is modular so that multiple translation strategies can be modularized and embedded in the translator.Therefore, multiple styles of rewrite theory specifications can be generated for one behavioral specification. |
| URI: | http://hdl.handle.net/10119/8848 |
| 資料タイプ: | publisher |
| 出現コレクション: | IS-RR-2010
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| IS-RR-2010-002.pdf | | 2618Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
