著者

中江 信行

雑誌

情報処理学会研究報告プログラミング(PRO)

巻号頁・発行日

vol.1989, no.12(1988-PRO-020), pp.1-9, 1989-02-10

---

関数型言語Standard MLは、簡潔なセマンテイクスと同時にパターン・マッチング、例外処理をはじめとする強力な表現能力をもつ実用的言語である。この言語の効率的なコンパイラは、strict semanticsに関連した実装法の有望なアプローチであるCAMに、上記のような機能を効率的に実行する命令コードが追加されたECAMを用いることにより実現できる。本論文では、この拡張されたCAM(ECAM)のアーキテクチャ、及び、ECAMへのコンパイラのアルゴリズムを、副作用のないStandard MLの中で簡潔に与える。