WEKO3
インデックスリンク
アイテム
モジュラー書換え理論に基づく代数型ソフトウェア開発言語の構築
https://doi.org/10.24517/00059593
https://doi.org/10.24517/000595939eb52f48-ca1a-4d64-a122-d373271eba0c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
TE-PR-NAKAMURA-M-kaken 2013-4p.pdf (221.8 kB)
|
.png)
|
| Item type | 報告書 / Research Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2020-10-05 | |||||
| タイトル | ||||||
| タイトル | モジュラー書換え理論に基づく代数型ソフトウェア開発言語の構築 | |||||
| タイトル | ||||||
| タイトル | On algebraic specification languages based on modular rewriting systems | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18ws | |||||
| 資源タイプ | research report | |||||
| ID登録 | ||||||
| ID登録 | 10.24517/00059593 | |||||
| ID登録タイプ | JaLC | |||||
| 著者 |
中村, 正樹
× 中村, 正樹 |
|||||
| 提供者所属 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 富山県立大学 / 金沢大学理工研究域電子情報学系 | |||||
| 書誌情報 |
平成24(2012)年度 科学研究費補助金 若手研究(B) 研究成果報告書 en : 2012 Fiscal Year Final Research Report 巻 2010 – 2012, p. 4p., 発行日 2013-06-13 |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | モジュールシステムを備えた代数仕様言語に適した項書換えシステムによる仕様実行に関する基礎的研究を行い,モジュール構造に基づく効率的な停止性判定手法を提案した.停止性は,項書換えシステムの最も重要な性質の1つで,任意の実行の有限時間内の停止性を保証する.本手法を用いることで,大規模複雑な代数仕様に対して,効率的に停止性を示すことが可能となり,モジュラーな代数型言語の開発の重要な基礎を与えた. | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | We studied about term rewriting systems to give an operational semantics of specification execution for algebraic specificationlanguages with sophisticated module systems. Our main result is a termination proving methods based on module structures. Termination is one of the most important properties of term rewriting, which guarantees any specification execution terminates in finite time. By our results, we can prove termination of large and complex algebraic specifications with conditional equations efficiently. | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 研究課題/領域番号:22700027, 研究期間(年度):2010-2012 | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 出典：研究課題「モジュラー書換え理論に基づく代数型ソフトウェア開発言語の構築」課題番号22700027 （KAKEN：科学研究費助成事業データベース（国立情報学研究所）） （https://kaken.nii.ac.jp/ja/report/KAKENHI-PROJECT-22700027/22700027seika/）を加工して作成 |
|||||
| 著者版フラグ | ||||||
| 出版タイプ | AM | |||||
| 出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | https://kaken.nii.ac.jp/ja/search/?kw=40345658 | |||||
| 関連名称 | https://kaken.nii.ac.jp/ja/search/?kw=40345658 | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-22700027/ | |||||
| 関連名称 | https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-22700027/ | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | https://kaken.nii.ac.jp/ja/report/KAKENHI-PROJECT-22700027/22700027seika/ | |||||
| 関連名称 | https://kaken.nii.ac.jp/ja/report/KAKENHI-PROJECT-22700027/22700027seika/ | |||||
