课题基金 / 基金详情

高機能高信頼多相型プログラミング言語の表現

高機能高信頼多相型プログラミング言語の表現
高性能、高可靠性多态编程语言的表示
批准号：
14019043
负责人：
大堀 淳
金额：
$3.46万
依托单位：
Japan Advanced Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
2002
资助国家：
日本
项目状态：
已结题
起止时间：
2002 至 --
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-14019043/
关键词：
プログラミング言語コンパイラ型理論ソフトウエア学計算機システム

项目摘要

项目成果

大堀 淳的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
多相型レコード計算の理論やデータベースの多相型理論などを基礎とし,・高機能多相型システム,・高い相互運用可能性(inter-operability),・外部資源の柔軟で安全なアクセス,・堅牢かつ効率良い実装 の特徴をあわせ持つ,広域分散環境に適した新しいプログラミング言語の実現を目指した研究を行い,以下の成果をあげた.(1)相互運用のための型理論の構築レコード多相性の理論を基礎とし,ML系言語からJAVA等のオブジェクト指向言語のクラスを透明に使用可能にする理論を構築し,そのプロトタイプを実装した.(2)証明論に基づくJAVAバイトコードの検証の理論JAVAのバイトコードを,論理学の証明とみなすことにより,その整合性を自動検証する理論を構築し,そのプロトタイプを実装した.(3)レジスタ割り付けの理論的基礎証明論的考え方を用いて,正しさが検証可能でかつより系統的なレジスタ割り当て方式の理論を構築し,そのプロトタイプを実装した.(1)と(2)の成果は,2002年10月のACM主催のプログラミング言語に関するの国際会議にて発表した.(3)の成果は2003年4月ETAPS主催のプログラミング言語に関するの国際会議にて発表予定である.
期刊论文(6)
专著(0)
科研奖励(0)
会议论文
A.Ohori, K.Yamatodani: "Interoperable Calculus for External Object Access"Proceedings of ACM International Conference on Functional Programming. 60-71 (2002)
A.Ohori、K.Yamatodani：“用于外部对象访问的互操作演算”ACM 国际函数式编程会议论文集。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
A.Ohori: "Register Allocation by Proof Transformation"Proceedings of European Symposium on Programming. (発表予定). (2003)
A.Ohori：“通过证明转换进行寄存器分配”欧洲编程研讨会论文集（即将发表）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
T.Higushi, A.Ohori: "Java Bytecode as Typed Term Calculus"Proceedings of ACM International Conference on Principles and Practice of Declarative Programming. 201-211 (2002)
T.Higushi、A.Ohori：“Java 字节码作为类型化术语演算”ACM 国际声明性编程原理与实践会议论文集。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
高機能高信頼多相型プログラミング言語の実現
高機能高信頼多相型プログラミング言語の実現
高機能高信頼多相型プログラミング言語の実現
高水準プログラミング言語の設計及び実装理論の研究
  • 批准号：
    98F00279
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
  • 资助金额：
    $0.64万
  • 财政年份：
    1999
  • 负责人：
    大堀 淳
  • 依托单位：
    Kyoto University
海外基金