Papers marked (*) are not original PPL papers. They are papers intended
for the indicated conference, informally presented at PPL for the
Japanese public.
12:15-12:50 |
受付 |
12:50-13:00 |
開会 |
13:00-14:30 |
- Eliminating Dummy Elimination. (*)
[link]
- Jurgen Giesl (University of New Mexico) and Aart Middeldorp
(University of Tsukuba).
- 17th International
Conference on Automated Deduction, June 2000
- 並行論理プログラムにおける逐次実行部分の抽出方法論
[PDF]
- 加藤 紀夫, 上田 和紀 (早稲田大学)
- 投機的実行用の条件付きfuture構文とその実装
[PS]
- Setiadi Rachmat, 小宮 常康, 湯淺 太一 (京都大学)
|
14:50-16:20 |
- Labeled and optional arguments for Objective Caml.
[PS]
- Jacques Garrigue (Kyoto University).
- 操作的意味記述を用いた仮想機械の生成に向けて
[PDF]
- 脇田 建, 緒方 大介, 佐々 政孝 (東京工業大学)
- Secure Shared Memory: オブジェクトを効率良く安全に共有するためのモデル
[PS]
- 後藤 礼史, 田浦 健次朗, 米澤 明憲 (東京大学)
|
16:50-18:10 |
- Garbage Collection Based on a Linear Type System. (*)
[link]
- Atsushi Igarashi (University of Tokyo)
and Naoki Kobayashi (Tokyo Institute of Technology).
- The Third ACM
SIGPLAN Workshop on Types in Compilation, September 2000
- PPL招待講演
- MSR, a framework for security protocols and their meta-theory.
- Iliano Cervesato, ITT Industries, Inc.
|
20:30-22:00 |
- カテゴリー3 ショートプレゼンテーション
- お申込み下さい
|