课题基金 / 基金详情

Study on Type Theory to Promote Software Reuse

Study on Type Theory to Promote Software Reuse
促进软件复用的类型论研究
批准号：
18700026
负责人：
IGARASHI Atsushi
金额：
$2.39万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2006
资助国家：
日本
项目状态：
已结题
起止时间：
2006 至 2008
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18700026/
关键词：
プログラム言語論オブジェクト指向型システムソフトウェア安全性オブジェクト指向言語再利用性軽量族多相漸進的型付けユニオン型

项目摘要

项目成果

IGARASHI Atsushi的其他基金

相似基金

相关文献

中文摘要
翻译
オブジェクト指向言語においてソフトウェアの再利用性の向上を支援する型システムの研究を行い, 主に以下に挙げる成果を得た. (1)相互再帰的なクラスを継承により拡張するための言語機構およびそれに対する型システムを考案し, 型システムの安全性の厳密な証明を与えた. (2)再帰的(自己参照的)インターフェースを表現できる型システムに対して従来から指摘されてきた欠点を解決した. (3)漸進的型付けと呼ばれる、動的型付けと静的型付けをひとつの言語上で混在させるための言語機構の形式化を簡単なオブジェクト指向言語に対し行い, その安全性を証明した.
英文摘要
オブジェクト指向言語においてソフトウェアの再利用性の向上を支援する型システムの研究を行い, 主に以下に挙げる成果を得た. (1)相互再帰的なクラスを継承により拡張するための言語機構およびそれに対する型システムを考案し, 型システムの安全性の厳密な証明を与えた. (2)再帰的(自己参照的)インターフェースを表現できる型システムに対して従来から指摘されてきた欠点を解決した. (3)漸進的型付けと呼ばれる、動的型付けと静的型付けをひとつの言語上で混在させるための言語機構の形式化を簡単なオブジェクト指向言語に対し行い, その安全性を証明した.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Variant path types for scalable extensibility.
用于可扩展性的变体路径类型。
DOI： --
发表时间： 2007
期刊： Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2007)
影响因子： --
作者： [Chieri Saito, Atsushi Igarashi, Atsushi Igarashi and Mirko Viroli]
通讯作者： Atsushi Igarashi and Mirko Viroli
Featherweight Java のための漸進的型付け
Featherweight Java 的渐进式打字
DOI： --
发表时间： 2009
期刊： コンピュータソフトウェア
影响因子： --
作者： [伊奈 林太郎, 五十嵐 淳]
通讯作者： 五十嵐 淳
The Essence of Lightweight Family Polymorphism
轻量级家族多态性的本质
DOI： --
发表时间： 2008
期刊： Journal of Object Tchnology 7(5)
影响因子： --
作者： [Yusuke Ogura, Takahiro Nishimura, and Jun Tanida, 稲守孝之, Kinji Ono, Chieri Saito]
通讯作者： Chieri Saito
Matching ThisType to subtyping
DOI： 10.1145/1529282.1529699
发表时间： 2009-03
期刊：
影响因子： --
作者： [C. Saito;Atsushi Igarashi]
通讯作者： C. Saito;Atsushi Igarashi
共 9 条
    Theory and Design of a Safe and Flexible Programming Language Based On the Integration of Static and Dynamic Typing
    • 批准号：
      21680002
    • 项目类别：
      Grant-in-Aid for Young Scientists (A)
    • 资助金额：
      $14.48万
    • 财政年份：
      2009
    • 负责人：
      IGARASHI Atsushi
    • 依托单位：
      Kyoto University
    Job adaptation and shift work : from the view points of biological rhythms and mental health
    • 批准号：
      21530651
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.75万
    • 财政年份：
      2009
    • 负责人：
      IGARASHI Atsushi
    • 依托单位：
      Fukushima University
    Long work and short sleep ; Is it really a bad life style?
    • 批准号：
      17530449
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.39万
    • 财政年份：
      2005
    • 负责人：
      IGARASHI Atsushi
    • 依托单位：
      Fukushima University
    海外基金