巻上げを用いた型推論アルゴリズムの型条件緩和
スポンサーリンク
概要
- 論文の詳細を見る
Tofte による命令型言語のための型推論アルゴリズムは、実行時エラーとならなくても型エラーとなる場合があり型条件が厳しい。我々はコード移動の一手法である巻上げを用いて型条件を緩和する手法を提案する。プログラムを値グラフに変換し、値グラフ上で型推論し巻上げ候補を決定する。このアルゴリズムは、我々が新しく提案する。
- 日本ソフトウェア科学会の論文
日本ソフトウェア科学会 | 論文
- LCDと透明弾性体の光弾性を用いたユーザインタフェース (特集 インタラクティブシステムとソフトウェア)
- Bluetoothによる位置検出
- COINSにおけるSIMD並列化(最新コンパイラ技術とCOINSによる実践)
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)