属性文法による型推論システム生成系の設計とその有効性について
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人電子情報通信学会の論文
- 1999-09-06
著者
関連論文
- SSA形式を用いた手続き言語のための型推論アルゴリズムの設計と実現
- 属性文法による型推論システム生成系の設計とその有効性について
- リフレクションを導入した並行オブジェクト指向言語ABCL/c+によるOSの記述
- 5M-3 An Implementation of Reflective Concurrent Component Architecture
- 5F-4 リフレクションを導入した並行オブジェクト指向言語ABCL/c+によるオペレーティングシステムの記述と実装
- やゑ:Yet Another Window Environment
- リフレクティブアーキテクチャによる仮想空間の実現
- リフレクティブアーキテクチャによる仮想空間の実現
- 並行オブジェクト指向言語による分散システムの記述
- 存在型と部分型をもつオブジェクト計算モデル