モジュラー書換え理論に基づく代数型ソフトウェア開発言語の構築

Material type: 文書・図像類

Author: 中村, 正樹ほか

Publisher: -

Publication date: 2013-06-13

Material Format: Digital

Capacity, size, etc.: -

NDC: -

View All

Notes on use

Note (General)：: 富山県立大学 / 金沢大学理工研究域電子情報学系モジュールシステムを備えた代数仕様言語に適した項書換えシステムによる仕様実行に関する基礎的研究を行い,モジュール構造に基づく効率的な停止性判定手法を提案した.停止性は,項書換えシステムの最も重要な性質の1つで,任意の実行の有限時間内の停止性を保証する....

Related materials as well as pre- and post-revision versions

https://kaken.nii.ac.jp/ja/search/?kw=40345658

https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-22700027/

https://kaken.nii.ac.jp/ja/report/KAKENHI-PROJECT-22700027/22700027seika/

Search by Bookstore

Holdings of Libraries in Japan

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

List of Cooperating Institutions and Databases

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

Kanazawa University Repository for Academic Resources
Digital
You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
Kanazawa University Repository for Academic Resources

Search by Bookstore

Bibliographic Record

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

Digital

Material Type: 文書・図像類
Title: モジュラー書換え理論に基づく代数型ソフトウェア開発言語の構築
Author/Editor: 中村, 正樹
Nakamura, Masaki
Author Heading: 中村, 正樹
Nakamura, Masaki
Publication Date: 2013-06-13
Publication Date (W3CDTF): 2013-06-13
Alternative Title: On algebraic specification languages based on modular rewriting systems
Periodical title: 平成24(2012)年度科学研究費補助金若手研究(B) 研究成果報告書 = 2012 Fiscal Year Final Research Report
No. or year of volume/issue: 2010 – 2012
Volume: 2010 – 2012
Pages: 4p.-
Text Language Code: jpn
Subject Heading: 項書換えシステム
Target Audience: 一般
Note (General): 富山県立大学 / 金沢大学理工研究域電子情報学系
モジュールシステムを備えた代数仕様言語に適した項書換えシステムによる仕様実行に関する基礎的研究を行い,モジュール構造に基づく効率的な停止性判定手法を提案した.停止性は,項書換えシステムの最も重要な性質の1つで,任意の実行の有限時間内の停止性を保証する.本手法を用いることで,大規模複雑な代数仕様に対して,効率的に停止性を示すことが可能となり,モジュラーな代数型言語の開発の重要な基礎を与えた.
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.
研究課題/領域番号:22700027, 研究期間(年度):2010-2012
DOI: 10.24517/00059593
Source: https://kanazawa-u.repo.nii.ac.jp/?action=repository_action_common_download&item_id=53309&item_no=1&attribute_id=26&file_no=1
https://kanazawa-u.repo.nii.ac.jp/?action=repository_action_common_download&item_id=53309&item_no=1&attribute_id=26&file_no=1
Access Restrictions: 限定公開
Rights (production): CC BY-NC-ND
Related Material: https://kaken.nii.ac.jp/ja/search/?kw=40345658
https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-22700027/
https://kaken.nii.ac.jp/ja/report/KAKENHI-PROJECT-22700027/22700027seika/
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 金沢大学 : 金沢大学学術情報リポジトリKURA