拡張CAMへのStandard MLコンパイラの実装法

• Item type: SIG Technical Reports(1)
• 公開日: 1989-02-10
• タイトル: 拡張CAMへのStandard MLコンパイラの実装法
• タイトル / 言語: en
• タイトル: Implementing of Standard ML in the extended CAM
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 富士ゼロックス（株）システム技術センタ
• 著者所属(英): en
• 著者所属(英): System Technology Center, FUJIXEROX CO., LTD.
• 著者名: 中江, 信行
• 著者名(英): Nobuyuki, Nakae
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 関数型言語Standard MLは、簡潔なセマンテイクスと同時にパターン・マッチング、例外処理をはじめとする強力な表現能力をもつ実用的言語である。この言語の効率的なコンパイラは、strict semanticsに関連した実装法の有望なアプローチであるCAMに、上記のような機能を効率的に実行する命令コードが追加されたECAMを用いることにより実現できる。本論文では、この拡張されたCAM(ECAM)のアーキテクチャ、及び、ECAMへのコンパイラのアルゴリズムを、副作用のないStandard MLの中で簡潔に与える。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Standard ML is a practical functional language which has not only simple semantics but also strong descriptive power of pattern matching, exception handling. The efficient compiler can be implemented using Extended CAM(ECAM) with special codes to execute above higher facilities. In this paper, we describe the architecture of ECAM, and the algorithm of Standard ML Compiler in pure Standard ML(without no side effect)itself very succinctly.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1989, 号 12(1988-PRO-020), p. 1-9, 発行日 1989-02-10
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会