课题基金 / 基金详情

Basic research on implementation technology for making SML# a practical polymorphic language

Basic research on implementation technology for making SML# a practical polymorphic language
SML实现技术基础研究
批准号：
25280019
负责人：
OHORI Atsushi
金额：
$5.24万
依托单位：
Tohoku University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2018-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25280019/
关键词：
SML#コンパイラ実装方式最適化コード分析コンパイル方式

项目摘要

项目成果

OHORI Atsushi的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(32)
专著(0)
科研奖励(0)
会议论文
Code Reading Assistance for Functional Programming based on Variable Def-use Relationships
基于变量定义-使用关系的函数式编程代码阅读辅助
DOI： 10.11309/jssst.32.1_194
发表时间： 2015
期刊： Computer Software
影响因子： --
作者： [遠藤誠典, 百足勇人, 森畑明昌, 上野雄大, 大堀淳]
通讯作者： 大堀淳
コンパイラ実装言語で中間表現データ構造を記述するための言語機構
一种用编译器实现的语言描述中间表示数据结构的语言机制
DOI： --
发表时间： 2016
期刊：
影响因子： --
作者： [田畑憲太, 上野雄大, 大堀淳]
通讯作者： 大堀淳
関数型言語SML#における64ビット対応への取り組み
函数式语言 SML 中 64 位支持的举措
DOI： --
发表时间： 2014
期刊：
影响因子： --
作者： [逢坂美冬, 佐々木智啓, Charles Mejia Cruz, 上野雄大, 大堀淳]
通讯作者： 大堀淳
A Type Safe Access to Key-value Stores from Functional Languages
DOI： 10.2197/ipsjjip.24.141
发表时间： 2016
期刊： J. Inf. Process.
影响因子： --
作者： [Katsuhiro Ueno;A. Ohori]
通讯作者： Katsuhiro Ueno;A. Ohori
共 29 条
    A Study on Proof-Theoretical Foundations for Compiler Construction
    • 批准号：
      22500023
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.41万
    • 财政年份：
      2010
    • 负责人：
      OHORI Atsushi
    • 依托单位：
      Tohoku University
    A Study on Proof System That Combines Verification and Optimization Technologies
    • 批准号：
      19500021
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.66万
    • 财政年份：
      2007
    • 负责人：
      OHORI Atsushi
    • 依托单位：
      Tohoku University
    A Framework for Integrating Programming Languages, Repository and Development Environment
    PROOF-THEORETICAL INVESTIGATION ON MACHINE CODE AND CODE GENERATION
    海外基金