C言語拡張システム : OPTEC : 構文ツリーの書換え

概要

論文の詳細を見る
筆者らはC言語を問題向きに拡張するための言語変換システムOPTEC(Object-oriented Pattern Translator for Extending C)を試作中である。C言語を問題向きに拡張するための枠組みとして、オブジェクト指向方式によるオーバローディングが注目されている。オブジェクト指向言語C++では、引数の型により実際に呼ばれる関数を選択するオーバロード関数や、オペランドの型により演算子の意味を決定するオペレータオーバローディングなどを導入している。これにより複素数やストリーム入出力などに対する問題向き表現をC言語に追加することに成功している。しかしながらC++では、関数呼び出しや既存の演算子に対してのみオーバロディングが可能であり、制御構文などについては固定されたものしか利用できず、C言語を問題向きに拡張するには限界があった。これに対して、OPTECでは、型による書換えルールの決定に基づく言語パタン変換を用いてオーバローディングを一般化し、C言語をより柔軟に問題向きに拡張することを可能にしている。以下では、まずOPTECの概要を説明し、パタン変換における問題とOPTECで採用した方法について述べる。
一般社団法人情報処理学会の論文
1989-10-16