データ構造指向型プログラム言語とそのプログラム変換・合成の研究

1987 Fiscal Year Annual Research Report

• Project/Area Number: 62460221
• Research Institution: University of Tsukuba
• Principal Investigator: 中田 育男 筑波大学, 電子・情報工学系, 教授 (70133022)
• Co-Investigator(Kenkyū-buntansha): 佐々 政孝 筑波大学, 電子・情報工学系, 助教授 (20016182)
• Keywords: データ構造指向 / プログラム言語 / 文脈自由文法 / 正規右辺文法 / プログラム変換 / プログラム合成

Research Abstract

本年度の研究計画に掲げた以下の3項目について報告する. (1) データ構造指向型プログラム言語の設計 昨年まで研究してきたCCFG(Coupled ContextーFree Grammar)をベースとし, それに, モジュール化の機能, 項形式, 整数, プログラムを読みやすくするためのキーワードなどを付加したプログラム言語を設計した. なお, データ構造をより直観的に表現できるようにするためにベースの文脈自由文法を正規右辺文法に拡張した. (2) 上記言語の処理系の基本設計 処理系の全体構造はまだ設計してないが, トップダウン実行方式としてProlog言語の処理系と同じような処理をするものを試作し, さらにボットムアップ実行方式を検討した. (3) 上記言語のプログラムの変換合成の研究 CCFGプログラムから手続き型プログラムへの変換, PrologプログラムからCCFGプログラムへの変換およびその逆の変換, 分かりやすいCCFGプログラム(仕様をそのままプログラム化したもの)から効率の良いCCFGプログラムへの変換, のそれぞれについて基本的なアルゴリズムを考案した. 最後の変換は, 基本的なプログラムをつなげたものから, それらを合成したプログラムを生成する方法にもなっている.

Research Products

• [Publications] 張又普;中田育男;佐々木正孝: 情報処理学会論文誌. 28. 1162-1168 (1987)
• [Publications] 張又普;中田育男;佐々木正孝: 情報処理学会論文誌. 29. 281-291 (1988)
• [Publications] 山下義行;中田育男: 第29回プログラミングシンポジウム報告集. 119-130 (1988)
• [Publications] 中田育男;山下義行: コンピュータソフトウェア. 5. (1988)