刷新
Basic research on implementation technology for making SML# a practical polymorphic language
SML实现技术基础研究
基本信息
- 批准号：25280019
- 负责人：
- 金额：$ 5.24万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (B)
- 财政年份：2013
- 资助国家：日本
- 起止时间：2013-04-01 至 2018-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（32）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Code Reading Assistance for Functional Programming based on Variable Def-use Relationships
基于变量定义-使用关系的函数式编程代码阅读辅助
- DOI：10.11309/jssst.32.1_194
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：遠藤誠典;百足勇人;森畑明昌;上野雄大;大堀淳
- 通讯作者：大堀淳
コンパイラ実装言語で中間表現データ構造を記述するための言語機構
一种用编译器实现的语言描述中间表示数据结构的语言机制
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：田畑憲太;上野雄大;大堀淳
- 通讯作者：大堀淳
関数型言語SML#における64ビット対応への取り組み
函数式语言 SML 中 64 位支持的举措
- DOI：
- 发表时间：2014
- 期刊：
- 影响因子：0
- 作者：逢坂美冬;佐々木智啓;Charles Mejia Cruz;上野雄大;大堀淳
- 通讯作者：大堀淳
A Type Safe Access to Key-value Stores from Functional Languages
- DOI：10.2197/ipsjjip.24.141
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：Katsuhiro Ueno;A. Ohori
- 通讯作者：Katsuhiro Ueno;A. Ohori
{{
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 }}
OHORI Atsushi其他文献
OHORI Atsushi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('OHORI Atsushi', 18)}}的其他基金
A Study on Proof-Theoretical Foundations for Compiler Construction
编译器构造的证明理论基础研究
- 批准号：
22500023 - 财政年份：2010
- 资助金额：
$ 5.24万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
A Study on Proof System That Combines Verification and Optimization Technologies
验证与优化技术相结合的证明系统研究
- 批准号：
19500021 - 财政年份：2007
- 资助金额：
$ 5.24万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
A Framework for Integrating Programming Languages, Repository and Development Environment
集成编程语言、存储库和开发环境的框架
- 批准号：
15300006 - 财政年份：2003
- 资助金额：
$ 5.24万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
PROOF-THEORETICAL INVESTIGATION ON MACHINE CODE AND CODE GENERATION
机器代码和代码生成的证明理论研究
- 批准号：
12680345 - 财政年份：2000
- 资助金额：
$ 5.24万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Research on Programming Language Design Theory Based on Type Theory
基于类型论的程序设计语言设计理论研究
- 批准号：
06680319 - 财政年份：1994
- 资助金额：
$ 5.24万 - 项目类别：
Grant-in-Aid for General Scientific Research (C)
相似海外基金
コンパイラ中間表現に基づく情報流解析による安全性検証の多プログラミング言語展開
基于编译器中间表示的信息流分析多编程语言安全验证开发
- 批准号：
24K14906 - 财政年份：2024
- 资助金额：
$ 5.24万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
図式量子計算モデル理論の連続量系への一般化及びその量子コンパイラへの応用
图解量子计算模型理论对连续量系统的推广及其在量子编译器中的应用
- 批准号：
24KJ0745 - 财政年份：2024
- 资助金额：
$ 5.24万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Production of Memory-Bandwidth-Centric Computing
以内存带宽为中心的计算的生产
- 批准号：
23K18461 - 财政年份：2023
- 资助金额：
$ 5.24万 - 项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
高性能・省電力を両立する距離指定型アーキテクチャのコンパイラ理論体系化
实现高性能和省电的距离规格架构编译理论的系统化
- 批准号：
23KJ0500 - 财政年份：2023
- 资助金额：
$ 5.24万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Achieving low-power and high-performance ultra-scalable processors with novel architecture
通过新颖的架构实现低功耗、高性能的超可扩展处理器
- 批准号：
23H03360 - 财政年份：2023
- 资助金额：
$ 5.24万 - 项目类别：
Grant-in-Aid for Scientific Research (B)