静的・動的型付けの融合による安全かつ柔軟なプログラミング言語の理論と設計

2012 年度 研究成果報告書

• 研究課題/領域番号: 21680002
• 研究種目: 若手研究(A)
• 配分区分: 補助金
• 研究分野: ソフトウエア
• 研究機関: 京都大学
• 研究代表者: 五十嵐 淳 京都大学, 大学院・情報学研究科, 教授 (40323456)
• 研究期間 (年度): 2009 – 2012
• キーワード: オブジェクト指向言語 / 漸進的型付け / プログラミング言語 / Java 言語 / ジェネリクス / 型安全性 / コントラクト

研究概要

プログラミング言語には、実行前にプログラム中の誤り検査を行う静的型付言語と実行中に検査を行う動的型付言語があり一長一短があることが知られている。本研究では両方の機能を兼ね備えたプログラミング言語を設計し、その理論と実装手法を研究した。理論的成果として、部分的に型付けされるプログラムの実行前検査のためのアルゴリズムと実行時検査手法を与え、アルゴリズムの正当性や、その検査で検出される誤りは全て実行前検査を行わなかった部分に起因することを証明した。また実行時検査の実装手法を考案した。

研究成果

• [雑誌論文] Type-based Safe Resource Deallocation for Shared-Memory Concurrency (2012)
  • 著者名/発表者名: Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi
  • 雑誌名: Proc. of ACM OOPSLA ページ: 1-20
  • DOI: doi:10.1145/2384616.2384618
  • 査読あり
• [雑誌論文] A Type System for Dynamic Layer Composition (2012)
  • 著者名/発表者名: Atsushi Igarashi, Robert Hirschfeld, Hidehiko Masuhara
  • 雑誌名: Proc. of the International Workshop on Foundations of Object-Oriented Languages ページ: 13-24
  • URL: http://www.cs.uwm.edu/~boyland/fool2012/papers/fool2012_submission_9.pdf
  • 査読あり
• [雑誌論文] 顕在的契約計算におけるアップキャスト除去 (2012)
  • 著者名/発表者名: 関山 太朗、 五十嵐 淳
  • 雑誌名: 第14回プログラミングおよびプログラミング言語ワークショップ(PPL2012)論文集
  • 査読あり
• [雑誌論文] Featherweight Approach to FOOL (2011)
  • 著者名/発表者名: Atsushi Igarashi
  • 雑誌名: Proc. Of European Conference on Object-Oriented Programming 巻: LNCS 6813 ページ: 433-433
  • DOI: doi:10.1007/978-3-642-22655-7_20
• [雑誌論文] Gradual Typing for Generics (2011)
  • 著者名/発表者名: Lintaro Ina, Atsushi Igarashi
  • 雑誌名: Proc. Of ACM OOPSLA ページ: 609-624
  • DOI: doi:10.1145/2048066.2048114
  • 査読あり
• [雑誌論文] Pierce, Polymorphic Contracts (2011)
  • 著者名/発表者名: Joao Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C
  • 雑誌名: Proc. Of European Symposium on Programming 巻: 6602 ページ: 18-37
  • DOI: doi:10.1007/978-3-642-19718-5_2
  • 査読あり
• [雑誌論文] Towards Gradual Typing for Generics (2009)
  • 著者名/発表者名: Lintaro Ina, Atsushi Igarashi
  • 雑誌名: Proc. Of Workshop on Script to Program Evolution ページ: 17-29
  • DOI: doi:10.1145/1570506.1570509
  • 査読あり
• [雑誌論文] Self Type Constructors (2009)
  • 著者名/発表者名: Chieri Saito, Atsushi Igarashi
  • 雑誌名: Proc. Of ACM OOPSLA ページ: 263-282
  • DOI: doi:10.1145/1640089.1640109
  • 査読あり
• [雑誌論文] Featherweight Java のための漸進的型付け (2009)
  • 著者名/発表者名: 伊奈 林太郎、五十嵐 淳
  • 雑誌名: コンピュータソフトウェア 巻: 26 ページ: 18-40
  • 査読あり
• [学会発表] Type Systems for Context-Oriented Programming (2013)
  • 著者名/発表者名: Atsushi Igarashi
  • 学会等名: International Workshop on Foundations of Aspect-Oriented Languages (招待講演)
  • 発表場所: 日本・福岡
  • 年月日: 20130300
• [学会発表] Type-based Safe Resource Deallocation for Shared-Memory Concurrency (2012)
  • 著者名/発表者名: Ryota Fukuda, Kohei Suenaga, Atsushi Igarashi
  • 学会等名: ACM OOPSLA
  • 発表場所: アメリカ・アリゾナ州・ツーソン
  • 年月日: 20121000
• [学会発表] A Type System for Dynamic Layer Composition (2012)
  • 著者名/発表者名: Atsushi Igarashi, Robert Hirschfeld, Hidehiko Masuhara
  • 学会等名: International Workshop on Foundations of Object-Oriented Languages
  • 発表場所: アメリカ・アリゾナ州・ツーソン
  • 年月日: 20121000
• [学会発表] Logical Relations for a Manifest Contract Calculus (2012)
  • 著者名/発表者名: Taro Sekiyama, Atsushi Igarashi
  • 学会等名: Fixed, ACM SIGPLAN Workshop on Higher-Order Programming with Effects
  • 発表場所: デンマーク・コペンハーゲン
  • 年月日: 20120900
• [学会発表] 顕在的契約計算におけるアップキャスト除去 (2012)
  • 著者名/発表者名: 関山 太朗、 五十嵐 淳
  • 学会等名: 第14回プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 和歌山県西牟婁郡白浜町
  • 年月日: 20120300
• [学会発表] Gradual Typing for Generics (2011)
  • 著者名/発表者名: Lintaro Ina, Atsushi Igarashi
  • 学会等名: ACM OOPSLA
  • 発表場所: アメリカ・オレゴン州ポートランド
  • 年月日: 20111000
• [学会発表] Featherweight Approach to FOOL (2011)
  • 著者名/発表者名: Atsushi Igarashi
  • 学会等名: European Conference on Object-Oriented Programming
  • 発表場所: イギリス・ランカスター
  • 年月日: 20110700
• [学会発表] Benjamin C. Pierce, Polymorphic Contracts (2011)
  • 著者名/発表者名: Joao Filipe Belo, Michael Greenberg, Atsushi Igarashi
  • 学会等名: European Symposium on Programming
  • 発表場所: ドイツ・ザールブルッケン
  • 年月日: 20110300
• [学会発表] Self Type Constructors, ACM Conference on Object-Oriented Programming (2009)
  • 著者名/発表者名: Chieri Saito, Atsushi Igarashi
  • 学会等名: Systems, Languages, and Applications
  • 発表場所: アメリカ・フロリダ州オーランド
  • 年月日: 20091000
• [学会発表] Towards Gradual Typing for Generics (2009)
  • 著者名/発表者名: Lintaro Ina, Atsushi Igarashi
  • 学会等名: International Workshop on Script to Program Evolution
  • 発表場所: イタリア・ジェノヴァ
  • 年月日: 20090700
• [図書] プログラミング言語の基礎概念 (2011)
  • 著者名/発表者名: 五十嵐 淳
  • 総ページ数: 192
  • 出版者: サイエンス社
• [備考]
  • URL: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/