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

概要

論文の詳細を見る
ソフトウェアの信頼性および生産性向上のためのプログラミング方法論として, プログラムの構造化, データ抽象化などの研究が行われ, すでにサポート言語もいくつか提案されている. ところが, これらの言語処理系の開発時に新たに必要になるコンパイル技法は明らかでない. 本論文では, プログラムの段階的詳細化, データ抽象化などをサポートするために新たに開発された構造化プログラミング言語SPLの処理系のコンパイル方式について述べる. まず, 厳しいデータ型チェックと良いコンパイル効率を確保しながら分割コンパイルを実現するために, モジュール間情報を保存するライブラリが導入され, そのデータ構造が工夫された. また, オブジェクト効率の低下を防ぐため, 手続きのインライン展開とコンパイル時実行機能を備えたが, 定義よりもその参照が先行するトップダウン開発を可能とするために, これらの処理はソースプログラムの解析処理後に行うようにした. ユーザ定義データ型の同一性のチェックは, その用途に合わせて名前による場合と構造による場合を使いわけた. 最後に, コンパイル時間とオブジェクト長に関する性能解析を行い, 上記コンパイル技法の効果を確認した.
一般社団法人情報処理学会の論文
1980-05-15

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

スポンサーリンク

概要

著者

関連論文

スポンサーリンク