刷新
{{item.name}}会员
Theory of Gradual Typing for Modern Programming Languages
现代编程语言的渐进类型理论
基本信息
- 批准号：17H01723
- 负责人：
- 金额：$ 11.98万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (B)
- 财政年份：2017
- 资助国家：日本
- 起止时间：2017-04-01 至 2021-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
高階契約に対するトレース意味論の完全抽象性
高阶合约的跟踪语义的完全抽象
- DOI：
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：南條 陽史;海野 広志;Hiroshi Unno;井上 鉄也，中澤 巧爾
- 通讯作者：井上 鉄也，中澤 巧爾
Extending a Work-Stealing Framework with Priorities and Weights
使用优先级和权重扩展工作窃取框架
- DOI：
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：Ryusuke Nakashima;Hiroshi Yoritaka;Masahiro Yasugi;Tasuku Hiraishi;Seiji Umatani
- 通讯作者：Seiji Umatani
Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions
具有归纳定义的符号堆循环证明的完整性
- DOI：10.1007/978-3-030-34175-6_19
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：Tatsuta Makoto;Nakazawa Koji;Kimura Daisuke
- 通讯作者：Kimura Daisuke
非決定的顕在的契約計算
非确定性显式合约计算
- DOI：
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：南條 陽史;海野 広志;Hiroshi Unno;井上 鉄也，中澤 巧爾;西田 雄気，五十嵐 淳
- 通讯作者：西田 雄気，五十嵐 淳
{{
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 }}
Atsushi Igarashi其他文献
Molecular epidemiology study of radiation-induced papillary thyroid carcinoma after Chernobyl
切尔诺贝利事故后放射性甲状腺乳头状癌的分子流行病学研究
- DOI：
- 发表时间：
2011 - 期刊：
- 影响因子：0
- 作者：
Takeshi Tsukada;Atsushi Igarashi;Shunichi Yamashita;阿部修司;原田一宏;サエンコ ウラジミール - 通讯作者：
サエンコ ウラジミール
Reasoning about Polymorphic Manifest Contracts
关于多态清单合约的推理
- DOI：
- 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
Taro Sekiyama;Atsushi Igarashi - 通讯作者：
Atsushi Igarashi
中期ビザンティン余白挿絵詩篇の図像生成
拜占庭中部边缘插图诗篇的图像学
- DOI：
- 发表时间：
2009 - 期刊：
- 影响因子：0
- 作者：
Chieri Saito;Atsushi Igarashi;Chieri Saito;苅谷康太;苅谷康太(論文集分担執筆);辻絵理子;辻絵理子;辻絵理子;辻絵理子;辻絵理子;辻絵理子 - 通讯作者：
辻絵理子
Self Type Constructors, ACM Conference on Object-Oriented Programming
自类型构造函数，ACM 面向对象编程会议
- DOI：
- 发表时间：
2009 - 期刊：
- 影响因子：0
- 作者：
Chieri Saito;Atsushi Igarashi - 通讯作者：
Atsushi Igarashi
Atsushi Igarashi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
安全・高信頼ソフトウェアシステムのための高階・型付き・並行プログラミング言語理論
用于安全可靠软件系统的高阶、类型和并发编程语言理论
- 批准号：
23K20379 - 财政年份：2024
- 资助金额：
$ 11.98万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
コンパイラ中間表現に基づく情報流解析による安全性検証の多プログラミング言語展開
基于编译器中间表示的信息流分析多编程语言安全验证开发
- 批准号：
24K14906 - 财政年份：2024
- 资助金额：
$ 11.98万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
第二プログラミング言語習得における認知シミュレーション
学习第二编程语言的认知模拟
- 批准号：
24K14902 - 财政年份：2024
- 资助金额：
$ 11.98万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
高階書換え系による次世代マルチパラダイム・プログラミング言語の展開
使用高阶重写系统开发下一代多范式编程语言
- 批准号：
24K02919 - 财政年份：2024
- 资助金额：
$ 11.98万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
高い抽象度レベルを持つ宣言的分散プログラミング言語の実現と高度化
具有高抽象级别的声明式分布式编程语言的实现和改进
- 批准号：
24K02922 - 财政年份：2024
- 资助金额：
$ 11.98万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
量子計算・確率計算と高級プログラミング言語の融合のための基盤理論
量子计算/概率计算与高级编程语言融合的基础理论
- 批准号：
24K14814 - 财政年份：2024
- 资助金额：
$ 11.98万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
プログラミング言語への意味的バージョンの導入による更新支援技術の研究
编程语言引入语义版本更新支持技术研究
- 批准号：
23K19961 - 财政年份：2023
- 资助金额：
$ 11.98万 - 项目类别：
Grant-in-Aid for Research Activity Start-up
次世代の高機能量子プログラミング言語の設計と、特に変数の扱いに関する理論的研究
下一代高性能量子编程语言的设计特别是变量处理的理论研究
- 批准号：
23KJ1372 - 财政年份：2023
- 资助金额：
$ 11.98万 - 项目类别：
Grant-in-Aid for JSPS Fellows
バージョンを言語要素に持つプログラミング言語の開発
开发以版本作为语言元素的编程语言
- 批准号：
22KJ1313 - 财政年份：2023
- 资助金额：
$ 11.98万 - 项目类别：
Grant-in-Aid for JSPS Fellows
初等中等教育における異なるプログラミング言語へのシームレスな接続に関する研究
中小学教育中不同编程语言的无缝衔接研究
- 批准号：
22K02954 - 财政年份：2022
- 资助金额：
$ 11.98万 - 项目类别：
Grant-in-Aid for Scientific Research (C)