巻号一覧
17 巻 (2000)
- 6 号 p. 509-
- 5 号 p. 409-
- 4 号 p. 297-
- 3 号 p. 193-
- 2 号 p. 109-
- 1 号 p. 1-
17 巻, 3 号
選択された号の論文の8件中1～8を表示しています
- |<
- <
- 1
- >
- >|
特集にあたって
-
胡 振江, Chakravarty Manuel2000 年 17 巻 3 号 p. 193
発行日: 2000年
公開日: 2000/12/26
ジャーナル フリーPDF形式でダウンロード (46K)
特集論文
-
篠埜 功, 胡 振江, 武市 正人2000 年 17 巻 3 号 p. 194-211
発行日: 2000年
公開日: 2000/12/26
ジャーナル フリーPDF形式でダウンロード (954K) -
浅井 健一2000 年 17 巻 3 号 p. 212-229
発行日: 2000年
公開日: 2000/12/26
ジャーナル フリーPDF形式でダウンロード (1012K) -
住井 英二郎, 小林 直樹2000 年 17 巻 3 号 p. 230-254
発行日: 2000年
公開日: 2000/12/26
ジャーナル フリー従来の方式よりも単純で強力な,型主導(Type-Directed)部分評価の新しい方式を提案する。我々の方式は従来の方式と異なり,種々の強力な型システムを備えた関数型言語に適用できる。その最たる例として,本稿ではSchemeのような,動物に型付けされた関数型言語を主な対象として扱う。鍵となるアイディアは,関数適用やペア破壊(carとcdr)などの原始的な値破壊子を拡張し,オペランドが動的である場合は残余コードを生成することである。これにより,従来の方式の複雑さや非力さの主な原因であった,リフレクションと呼ばれる操作が不要となる。本稿では,2レベルλ計算を拡張することにより我々の方式を定式化し,その正当性を証明する。さらに,オフラインのプログラム生成器生成器(cogen)がオフラインの構文主導(Syntax-Directed)部分評価器から導出できるのと同様の変換により,我々の型主導部分評価器は高階抽象構文を用いた単純なオンラインの構文主導部分評価器から導出できることを示す。このことは,型主導部分評価が通常の構文主導部分評価よりも効率的である理由を明確にするとともに,元の単純な構文主導部分評価器をより複雑なものと置き換えれば,より強力な部分評価器が得られる可能性を示唆する。抄録全体を表示PDF形式でダウンロード (1094K)
一般論文
-
大久保 弘崇, 坂部 俊樹, 稲垣 康善2000 年 17 巻 3 号 p. 255-268
発行日: 2000年
公開日: 2000/12/26
ジャーナル フリーPDF形式でダウンロード (669K)
小論文
-
佐藤 周平, 柴山 悦哉, 高橋 伸2000 年 17 巻 3 号 p. 269-272
発行日: 2000年
公開日: 2000/12/26
ジャーナル フリーPDF形式でダウンロード (233K) -
尾上 能之, 胡 振江, 岩崎 英哉, 武市 正人2000 年 17 巻 3 号 p. 273-277
発行日: 2000年
公開日: 2000/12/26
ジャーナル フリーPDF形式でダウンロード (253K)
トピックス
-
友部 実2000 年 17 巻 3 号 p. 278-284
発行日: 2000年
公開日: 2000/12/26
ジャーナル フリーPDF形式でダウンロード (339K)
- |<
- <
- 1
- >
- >|