WEKO3
アイテム
集合指向言語SOLの拡張とフローグラフのインターバル解析への応用
http://hdl.handle.net/10228/1553
http://hdl.handle.net/10228/1553a34297cd-9c60-47e8-8cad-98b1ef8c5bfb
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
shigematsu_04.pdf (898.5 kB)
|
|
| アイテムタイプ | 学術雑誌論文 = Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2009-02-24 | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| タイトル | ||||||
| タイトル | 集合指向言語SOLの拡張とフローグラフのインターバル解析への応用 | |||||
| 言語 | ja | |||||
| その他のタイトル | ||||||
| その他のタイトル | An Extension of the Set Oriented Language SOL and Its Application to Interval Analysis of Flow Graph | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 著者 |
重松, 保弘
× 重松, 保弘× 吉田, 将 |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 集合指向言語SOLは,アルゴリズムの自然なプログラム化を目的として筆者らが開発した言語であるが,有向グラフなどのデータ構造を操作するアルゴリズムの記述が複雑化し,計算時間の増加や記憶領域使用効率の低下をもたらす場合が出てくるという問題点があった.これは,SOLが多値関数の記法を言語仕様に含まないことに起因する.また,集合式の制限が強いという問題点もあった.そこでSOLに多値関数である対応の概念を導入することによって言語仕様を拡張し,言語の記述能力の改善を行った.具体的には,対応,逆対応および逆写像の記法の導入,対応の導入に伴う対応定義文の拡張,対応操作文の導入などである.集合式については,内包記法の拡張と範囲指定形式の追加を行った.また,拡張された言語仕様に対応して,新たに言語処理系の開発を行った.本論文では,SOLの拡張言語仕様について述べると共に,フローグラフのデータフロー解析に利用されるインターバル解析アルゴリズムと,これを用いて簡約可能なフローグラフの導出順序を計算する手続きを取り上げ,これが拡張したSOLで,旧SOLと比べ簡潔かつ効率よくプログラム化できることを示す. SOL is one of the set oriented very high-level class languages designed and developed for writing algorithms as computer programs in a simple and natural way. However, it was not efficient for SOL to represent algorithms which manipulate complex data structures, such as directed graphas. This is caused by the fact that notations of multi-valued functions were not included in its language specfication. Restrictions of the notation of set data forms were another problem. To solve these problems, we have introduced the concept of correspondence relation into SOL. To be concrete, we have introduced correspondence and inverse correspondence notations, and also introduced several statements for the definition and manipulation of correspondence relations. We have also introduced a subrange form and a new set-builder form into set data forms. In this paper, the language specification of extended SOL ia provided in detaile. Using extended SOL, we also show that algorithms based on the interva1 analysis of flow graphs are able to be expressed as simple and efficient SOL programs. | |||||
| 書誌情報 |
情報処理学会論文誌 巻 34, 号 2, p. 229-238, 発行日 1993-02-15 |
|||||
| 出版社 | ||||||
| 出版者 | 社団法人情報処理学会 | |||||
| NAID | ||||||
| 関連タイプ | isIdenticalTo | |||||
| 識別子タイプ | NAID | |||||
| 関連識別子 | 110002722392 | |||||
| ISSN | ||||||
| 収録物識別子タイプ | PISSN | |||||
| 収録物識別子 | 0387-5806 | |||||
| 著作権関連情報 | ||||||
| 権利情報 | ここに掲載した著作物の利用に関する注意 本著作物の著作権は（社）情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。Notice for the use of this material The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan. | |||||
| 著作権関連情報 | ||||||
| 権利情報 | 本文データは学協会の許諾に基づきCiNiiから複製したものである | |||||
| 出版タイプ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 査読の有無 | ||||||
| 値 | yes | |||||
| 業績ID | ||||||
| 値 | 353EAC760B9BCE6149257567002BB752 | |||||
