刷新
{{item.name}}会员
Study on Type Theory to Promote Software Reuse
促进软件复用的类型论研究
基本信息
- 批准号：18700026
- 负责人：
- 金额：$ 2.39万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Young Scientists (B)
- 财政年份：2006
- 资助国家：日本
- 起止时间：2006 至 2008
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
オブジェクト指向言語においてソフトウェアの再利用性の向上を支援する型システムの研究を行い, 主に以下に挙げる成果を得た. (1)相互再帰的なクラスを継承により拡張するための言語機構およびそれに対する型システムを考案し, 型システムの安全性の厳密な証明を与えた. (2)再帰的(自己参照的)インターフェースを表現できる型システムに対して従来から指摘されてきた欠点を解決した. (3)漸進的型付けと呼ばれる、動的型付けと静的型付けをひとつの言語上で混在させるための言語機構の形式化を簡単なオブジェクト指向言語に対し行い, その安全性を証明した.
The research on the reuse of speech and its reuse was carried out in the middle of the research, and the main results were obtained. (1)A study of the type of speech organization and the security of the type of speech organization. (2)The problem is that there is no way to solve it. (3)The formalization of the speech mechanism is simplified, and the security of the speech mechanism is proved.
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Variant path types for scalable extensibility.
用于可扩展性的变体路径类型。
- DOI：
- 发表时间：2007
- 期刊：
- 影响因子：0
- 作者：Chieri Saito;Atsushi Igarashi;Atsushi Igarashi and Mirko Viroli
- 通讯作者：Atsushi Igarashi and Mirko Viroli
Featherweight Java のための漸進的型付け
Featherweight Java 的渐进式打字
- DOI：
- 发表时间：2009
- 期刊：
- 影响因子：0
- 作者：伊奈 林太郎;五十嵐 淳
- 通讯作者：五十嵐 淳
The Essence of Lightweight Family Polymorphism
轻量级家族多态性的本质
- DOI：
- 发表时间：2008
- 期刊：
- 影响因子：0
- 作者：Yusuke Ogura;Takahiro Nishimura;and Jun Tanida;稲守孝之;Kinji Ono;Chieri Saito
- 通讯作者：Chieri Saito
Matching ThisType to subtyping
- DOI：10.1145/1529282.1529699
- 发表时间：2009-03
- 期刊：
- 影响因子：0
- 作者：C. Saito;Atsushi Igarashi
- 通讯作者：C. Saito;Atsushi Igarashi
Variant parametric types: A flexible subtyping scheme for generics
变体参数类型：泛型的灵活子类型方案
- DOI：
- 发表时间：2006
- 期刊：
- 影响因子：0
- 作者：中村一博;高木一義;高木直史;Naofumi Homma;Atsushi Igarashi and Mirko Viroli
- 通讯作者：Atsushi Igarashi and Mirko Viroli
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
IGARASHI Atsushi其他文献
IGARASHI Atsushi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('IGARASHI Atsushi', 18)}}的其他基金
Job adaptation and shift work : from the view points of biological rhythms and mental health
工作适应与轮班工作：从生物节律和心理健康的角度
- 批准号：
21530651 - 财政年份：2009
- 资助金额：
$ 2.39万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Theory and Design of a Safe and Flexible Programming Language Based On the Integration of Static and Dynamic Typing
基于静态和动态类型集成的安全灵活编程语言的理论与设计
- 批准号：
21680002 - 财政年份：2009
- 资助金额：
$ 2.39万 - 项目类别：
Grant-in-Aid for Young Scientists (A)
Long work and short sleep ; Is it really a bad life style?
工作时间长，睡眠时间短；
- 批准号：
17530449 - 财政年份：2005
- 资助金额：
$ 2.39万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
再利用性に優れた型付オブジェクト指向プログラミング言語の理論と設計
具有优良可重用性的类型化面向对象编程语言的理论与设计
- 批准号：
08J04230 - 财政年份：2008
- 资助金额：
$ 2.39万 - 项目类别：
Grant-in-Aid for JSPS Fellows
オブジェクト指向型データベースに構築する仮想ビルの環境シミュレーション
基于面向对象数据库的虚拟建筑环境模拟
- 批准号：
19656141 - 财政年份：2007
- 资助金额：
$ 2.39万 - 项目类别：
Grant-in-Aid for Exploratory Research
オブジェクト指向ラフ集合に基づく嗜好学習システムに関する研究
基于面向对象粗糙集的偏好学习系统研究
- 批准号：
17700222 - 财政年份：2005
- 资助金额：
$ 2.39万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
産業応用を目指したオブジェクト指向モデルの検証手法の提案
针对工业应用的面向对象模型验证方法的提出
- 批准号：
16700028 - 财政年份：2004
- 资助金额：
$ 2.39万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
XML形式オブジェクト指向設計UML文書の整合性検査の研究
XML格式面向对象设计UML文档一致性检查研究
- 批准号：
04F04283 - 财政年份：2004
- 资助金额：
$ 2.39万 - 项目类别：
Grant-in-Aid for JSPS Fellows
オブジェクト指向型分散地震応答実験フレームワークの構築
面向对象的分布式地震反应实验框架构建
- 批准号：
16686029 - 财政年份：2004
- 资助金额：
$ 2.39万 - 项目类别：
Grant-in-Aid for Young Scientists (A)
現実的な形式的オブジェクト指向分析と計算機支援環境
现实的形式化面向对象分析和计算机辅助环境
- 批准号：
14019044 - 财政年份：2002
- 资助金额：
$ 2.39万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
オブジェクト指向言語ドリトルによる高等学校「情報」教材の開発
面向对象语言Dolittle的高中“信息”教材开发
- 批准号：
14908026 - 财政年份：2002
- 资助金额：
$ 2.39万 - 项目类别：
Grant-in-Aid for Encouragement of Scientists
オブジェクト指向型非線形運動方程式の収束計算法と高速化に関する研究
面向对象非线性运动方程收敛计算方法及加速研究
- 批准号：
14750403 - 财政年份：2002
- 资助金额：
$ 2.39万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
経済システムにおける自己組織化・パターン形成に関するシミュレーション分析の方法 : オブジェクト指向・並列プログラミングによる計算経済学の可能性
经济系统自组织和模式形成的模拟分析方法：使用面向对象和并行编程的计算经济学的可能性
- 批准号：
13730010 - 财政年份：2001
- 资助金额：
$ 2.39万 - 项目类别：
Grant-in-Aid for Young Scientists (B)