1987 年 4 巻 4 号 p. 4_312-4_323
抽象データ型の直接実現アルゴリズムを提案する.これは,等式で記述された抽象データ型の代数的仕様が与えられると,抽象データ型の各々の関数記号に対して,ターゲット言語で書かれた関数定義文を生成するアルゴリズムである.このアルゴリズムの正当性は,生成される関数が仕様を実現する項書き換えシステムとして働くことを示すことによって証明される. 著者らは,このアルゴリズムを,ターゲットをC言語として,C言語で実現することにより,抽象データ型直接実現系Cdimpleを作成した. Cdimpleにより生成されたプログラムはインクプリ夕で実行されるLispプログラムより速く動作することが確認された.