南出 靖彦 | 筑波大学大学院システム情報工学研究科
スポンサーリンク
概要
関連著者
-
南出 靖彦
筑波大学大学院システム情報工学研究科
-
大熊 浩示
筑波大学大学院システム情報工学研究科
-
松本 宗太郎
筑波大学大学院システム情報工学研究科
-
南出 靖彦
筑波大学システム情報系情報工学域
-
中田 秀基
独立行政法人産業技術総合研究所
-
小林 直樹
北海道日建設計
-
中田 秀基
プログラミング研究会論文誌編集委員会
-
鎌田 十三郎
プログラミング研究会論文誌編集委員会
-
南出 靖彦
プログラミング研究会論文誌編集委員会
-
遠藤 敏夫
プログラミング研究会論文誌編集委員会
-
南出 靖彦
京都大学数理解析研究所
-
杉山 聡
筑波大学大学院システム情報工学研究科コンピュータサイエンス専攻
-
岡本 尚文
筑波大学大学院システム情報工学研究科
著作論文
- Rubyプログラムの制御フロー解析とその健全性の証明
- 特集「プログラミング及びプログラミング言語」の編集にあたって(プログラミング及びプログラミング言語)
- 実行可能なコンパイラの形式化と検証
- 実行可能なコンパイラの形式化と検証
- 実行可能なコンパイラの形式化と検証
- 「情報処理学会論文誌 : プログラミング」の編集について
- 多相レコード型に基づくRubyプログラムの型推論
- Cプログラムの検証ツールCaduceus(ソフトウェア紹介)
- POPL '96会議報告
- アトミックグループで拡張された正規表現のオートマトンへの変換
- 参照カウントに対応したソフトウェアトランザクショナルメモリの実装