段階的詳細化，データ抽象化を支援する言語SPLのコンパイル技法

• Item type: Journal(1)
• 公開日: 1980-05-15
• タイトル: 段階的詳細化，データ抽象化を支援する言語SPLのコンパイル技法
• タイトル / 言語: en
• タイトル: Compiling Techniques for SPL Programs Based on stepwise Refinement and Data Abstraction
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: （株）日立製作所システム開発研究所
• 著者所属: （株）日立製作所システム開発研究所
• 著者所属: （株）日立製作所大みか工場
• 著者所属: （株）日立製作所大みか工場
• 著者所属(英): en
• 著者所属(英): Systems Development Laboratory, Hitachi, Ltd
• 著者所属(英): en
• 著者所属(英): Systems Development Laboratory, Hitachi, Ltd
• 著者所属(英): en
• 著者所属(英): Omika Works, Hitachi, Ltd
• 著者所属(英): en
• 著者所属(英): Omika Works, Hitachi, Ltd
• 著者名: 中所, 武司; 野木, 兼六; 林, 利弘; 森, 清三
• 著者名(英): Takeshi, Chusho; Kenroku, Nogi; Toshihiro, Hayashi; Kiyomzo, Mori
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ソフトウェアの信頼性および生産性向上のためのプログラミング方法論として プログラムの構造化 データ抽象化などの研究が行われ すでにサポート言語もいくつか提案されている.ところが これらの言語処理系の開発時に新たに必要になるコンパイル技法は明らかでない.本論文では プログラムの段階的詳細化 データ抽象化などをサポートするために新たに開発された構造化プログラミング言語SPLの処理系のコンパイル方式について述べる.まず 厳しいデータ型チェックと良いコンパイル効率を確保しながら分割コンパイルを実現するために モジュール間情報を保存するライブラリが導入され そのデータ構造が工夫された.また オブジェクト効率の低下を防ぐため 手続きのインライン展開とコンパイル時実行機能を備えたが 定義よりもその参照が先行するトップダウン開発を可能とするために これらの処理はソースプログラムの解析処理後に行うようにした.ユーザ定義データ型の同一性のチェックは その用途に合わせて名前による場合と構造による場合を使いわけた.最後に コンパイル時間とオブジェクト長に関する性能解析を行い 上記コンパイル技法の効果を確認した.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 21, 号 3, p. 223-229, 発行日 1980-05-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764