- 著者
-
清水 伴訓
赤間 清
宮本 衛市
- 出版者
- 一般社団法人電子情報通信学会
- 雑誌
- 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
- 巻号頁・発行日
- vol.96, no.283, pp.9-16, 1996-10-01
- 参考文献数
- 8
- 被引用文献数
-
14
「等価変換による問題解決」は、与えられた問題を等価変換によって簡単化し、自明な問題に置き換えることによって解を得る汎用の枠組である。これを基礎としたプログラミングが等価変換プログラミングである。本論文では、等価変換プログラミングを実働化するための言語ETCについて述べる。ETCプログラムは、(1)ユーザが定義する豊富なデータ構造を用いた多様な等価変換ルール、(2)ルール選択のためのルールの優先順位宣言、からなる。