Study on Type Theory to Promote Software Reuse

• Project/Area Number: 18700026
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Software
• Research Institution: Kyoto University
• Principal Investigator: IGARASHI Atsushi Kyoto University, 大学院・情報学研究科, 准教授 (40323456)
• Project Period (FY): 2006 – 2008
• Project Status: Completed (Fiscal Year 2008)
• Budget Amount: ¥3,730,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥330,000); Fiscal Year 2008: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2007: ¥1,100,000 (Direct Cost: ¥1,100,000); Fiscal Year 2006: ¥1,200,000 (Direct Cost: ¥1,200,000)
• Keywords: プログラム言語論 / オブジェクト指向 / 型システム / ソフトウェア / 安全性 / オブジェクト指向言語 / 再利用性 / 軽量族多相 / 漸進的型付け / ユニオン型

Research Abstract

オブジェクト指向言語においてソフトウェアの再利用性の向上を支援する型システムの研究を行い, 主に以下に挙げる成果を得た. (1)相互再帰的なクラスを継承により拡張するための言語機構およびそれに対する型システムを考案し, 型システムの安全性の厳密な証明を与えた. (2)再帰的(自己参照的)インターフェースを表現できる型システムに対して従来から指摘されてきた欠点を解決した. (3)漸進的型付けと呼ばれる、動的型付けと静的型付けをひとつの言語上で混在させるための言語機構の形式化を簡単なオブジェクト指向言語に対し行い, その安全性を証明した.

Research Products

• [Journal Article] Featherweight Javaのための漸進的型付け (2009)
  • Author(s): 伊奈林太郎, 五十嵐淳
  • Journal Title: コンピュータソフトウェア 26(2) Pages: 18-40
  • NAID: 10025982355
  • Peer Reviewed
• [Journal Article] Matching ThisType to subtyping. (2009)
  • Author(s): Chieri Saito and Atsushi Igarashi
  • Journal Title: Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC2009) Pages: 1851-1858
  • Peer Reviewed
• [Journal Article] Featherweight Javaのための漸進的型付け (2009)
  • Author(s): 伊奈林太郎、五十嵐淳
  • Journal Title: コンピュータソフトウェア
  • NAID: 10025982355
  • Peer Reviewed
• [Journal Article] Matching ThisType to Subtyping (2009)
  • Author(s): Chieri Saito, Atsushi Igarashi
  • Journal Title: Proceedings of the 24th ACM Symposium on Applied Computing
  • Peer Reviewed
• [Journal Article] Lightweight family polymorphism (2008)
  • Author(s): Chieri Saito, Atsushi Igarashi, and Mirko Viroli
  • Journal Title: Journal of Functional Programming 18(3) Pages: 285-331
  • Peer Reviewed
• [Journal Article] The essence of lightweight family polymorphism (2008)
  • Author(s): Chieri Saito and Atsushi Igarashi
  • Journal Title: Journal of Object Technology 7(5) Pages: 67-99
  • Peer Reviewed
• [Journal Article] The Essence of Lightweight Family Polymorphism (2008)
  • Author(s): Chieri Saito, Atsushi Igarashi
  • Journal Title: Journal of Object Technology 7 Pages: 67-99
  • Peer Reviewed
• [Journal Article] Variant path types for scalable extensibility. (2007)
  • Author(s): Atsushi Igarashi and Mirko Viroli
  • Journal Title: Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2007) Pages: 113-132
  • Peer Reviewed
• [Journal Article] The essence of lightweight family polymorphism (2007)
  • Author(s): Chieri Saito and Atsushi Igarashi
  • Journal Title: Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007) Pages: 27-41
  • Peer Reviewed
• [Journal Article] Union types for object-oriented programming (2007)
  • Author(s): Atsushi Igarashi and Hideshi Nagira
  • Journal Title: Journal of Object Technology 6(2) Pages: 47-68
  • Peer Reviewed
• [Journal Article] Variant path types for scalable extensibility (2007)
  • Author(s): Atsushi Igarashi and Mirko Viroli
  • Journal Title: Proceedings of the International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD 2007) Pages: 38-49
  • Peer Reviewed
• [Journal Article] Variant Path Types for Scalable Extensibility (2007)
  • Author(s): Atsushi Igarashi and Mirko Viroli
  • Journal Title: Proc. Of ACM OOPSLA 2007 Pages: 113-132
  • Peer Reviewed
• [Journal Article] The essence of lightweight family polymorphism (2007)
  • Author(s): Chieri Saito and Atsushi Igarashi
  • Journal Title: Proc. of the 9th Workshop on Formal Techniques for Tava-like Programs (FTfJP 2007) Pages: 27-41
  • Peer Reviewed
• [Journal Article] Union Types for Object-Oriented Programming (2007)
  • Author(s): Atsushi Igarashi, Hideshi Nagira
  • Journal Title: Journal of Object Technology 6(2) Pages: 47-68
• [Journal Article] Variant path types for scalable extensibility (2007)
  • Author(s): Atsushi Igarashi, Mirko Viroli
  • Journal Title: In Proc.Of the International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD2007) Pages: 38-49
• [Journal Article] Union types for object-oriented programming (2006)
  • Author(s): Atsushi Igarashi and Hideshi Nagira
  • Journal Title: Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC2006) Pages: 1435-1441
  • Peer Reviewed
• [Journal Article] Variant parametric types: A flexible subtyping scheme for generics (2006)
  • Author(s): Atsushi Igarashi and Mirko Viroli
  • Journal Title: ACM Transactions on Programming Languages and Systems 28(5) Pages: 795-847
  • Peer Reviewed
• [Journal Article] Union Types for Object-Oriented Programming (2006)
  • Author(s): Atsushi Igarashi, Hideshi Nagira
  • Journal Title: In Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC2006) Pages: 1435-1441
• [Journal Article] Variant Parametric Types : A Flexible Subtyping Scheme for Generics (2006)
  • Author(s): Atsushi Igarashi, Mirko Viroli
  • Journal Title: ACM Transactions on Programming Languages and Systems 28(5) Pages: 795-847
• [Journal Article] Lightweight family polymorphism
  • Author(s): Chieri Saito, Atsushi Igarashi, Mirko Viroli
  • Journal Title: Journal of Functional Programming (印刷中)
• [Presentation] Matching ThisType to subtyping (2009)
  • Author(s): Chieri Saito and Atsushi Igarashi
  • Organizer: The 24th Annual ACM Symposium on Applied Computing (SAC2009)
  • Place of Presentation: アメリカ合衆国ホノルル
• [Presentation] Featherweight Javaのための漸進的型付け (2008)
  • Author(s): 伊奈林太郎, 五十嵐淳
  • Organizer: 第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)
  • Place of Presentation: 宮城県仙台市
  • Year and Date: 2008-03-05
• [Presentation] Featherweight Javaのための漸進的型付け (2008)
  • Author(s): 伊奈 林太郎, 五十嵐 淳
  • Organizer: 第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)オンライン論文集
  • Place of Presentation: 仙台市太白区
  • Year and Date: 2008-03-05
• [Presentation] Variant path types for scalable extensibility (2007)
  • Author(s): Atsushi Igarashi and Mirko Viroli
  • Organizer: The ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2007)
  • Place of Presentation: カナダ・モントリオール
• [Presentation] The essence of lightweight family polymorphism (2007)
  • Author(s): Chieri Saito and Atsushi Igarashi
  • Organizer: The 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007)
  • Place of Presentation: ドイツ・ベルリン
• [Presentation] Variant path types for scalable extensibility (2007)
  • Author(s): Atsushi Igarashi and Mirko Viroli
  • Organizer: The International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD 2007)
  • Place of Presentation: フランス・ニース
• [Presentation] Union types for object-oriented programming (2006)
  • Author(s): Atsushi Igarashi and Hideshi Nagira
  • Organizer: The 21st Annual ACM Symposium on Applied Computing (SAC2006)
  • Place of Presentation: フランス・ディジョン
• [Book] プログラミングin OCaml〜関数型プログラミングの基礎からGUIプログラミングまで (2007)
  • Author(s): 五十嵐淳
  • Total Pages: 374
  • Publisher: 技術評論社
• [Book] プログラミングin 0Caml〜関数型プログラミングの基礎からGUIプログラミングまで (2007)
  • Author(s): 五十嵐 淳
  • Total Pages: 384
  • Publisher: 技術評論社
• [Remarks]
  • URL: http://www.sato.kuis.kyoto-u.ac.jp/-igarashi/