T式による関数型プログラム開発

概要

論文の詳細を見る
図形的なプログラム表現を利用するプログラム設計支援の一方式に、命令型(imparative)プログラムに直結する木構造制御流れ図を用いた段階的詳細化の支援があり、既に実用化の域に達している。しかし、木構造制御流れ図は、処理の時系列という命令型スタイルを受け継いでいるため、データの流れ・処理と処理の間の関係が不明確となりがちであり、仕様の変更の波及する範囲の把握も困難である。しかも、プログラムの導出履歴を複数の抽象レベルとして呈示する能力が要求されているにもかかわらず、その構造がプログラム言語レベルの構造化制御構文(連接・反復・選択)に基づくブロック構造に対応しているため、柔軟性に欠ける傾向にある。本論文は、これらの問題を克服する一方策として関数型(functional/applicative)プログラミング・スタイルに着目し、図的表現:T式を利用した関数型プログラム開発法について報告するものである。関数型プログラム開発法は、特に目新しい手法を含んでいるわけではない。関数型プログラミング・スタイルの枠組みの中で自然に取り扱うことのできる、既存の各種プログラム開発技法を総称して関数型プログラム開発法と呼んでいる。そのため、それが関数型プログラミングと相性が良いのは当然といえるが、構造化された命令型プログラミングへの応用も比較的容易である。基本方針は、段階的詳細化による機能分割の際に、バラメータ化を伴うことによってデータの依存関係の明確化を図り、人出力表明を明らかにしておくことによってモジュール間の不整合の発生を抑えることである。
一般社団法人情報処理学会の論文
1986-10-01

T式による関数型プログラム開発

スポンサーリンク

概要

著者

関連論文

スポンサーリンク