课题基金 / 基金详情

A Study on Proof-Theoretical Foundations for Compiler Construction

A Study on Proof-Theoretical Foundations for Compiler Construction
编译器构造的证明理论基础研究
批准号：
22500023
负责人：
OHORI Atsushi
金额：
$2.41万
依托单位：
Tohoku University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2010
资助国家：
日本
项目状态：
已结题
起止时间：
2010 至 2012
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22500023/
关键词：
コンパイラ証明論最適化プログラミング言語処理系

项目摘要

项目成果

OHORI Atsushi的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Based on the novel observations that each of compiler intermediate languages can be represented as a proof system of the intuitionistic propositional logic, and that transformation between these languages corresponds to proof transformation, this research has shown that a compilation process of a functional language is represented by the composition of proof transformations from the natural deduction proof system to a variant of a sequent calculus that represents a code language, and that a compilation algorithm is mechanically extracted from the meta-level proof of the existence of such a proof transformation.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Rubyの操作的意味論の形式的定義に向けて
走向 Ruby 操作语义的正式定义
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [Haruhiko Sato, Masahito Kurihara, 高橋俊彦, 深澤優鷹,上野雄大,森畑明昌,大堀淳]
通讯作者： 深澤優鷹,上野雄大,森畑明昌,大堀淳
Design and Implementation of Lightweight First-class Overloading
轻量级重载的设计与实现
DOI： 10.11309/jssst.29.1_191
发表时间： 2012
期刊： Computer Software
影响因子： --
作者： [Yusuke Nishimura, Kosuke Maebara, Tomoya Noro, and Takehiro Tokuda, Yusuke Nishimura, 篠埜功,大堀淳, 上野雄大,大堀淳]
通讯作者： 上野雄大,大堀淳
Making standard ML a practical database programming language
使标准机器学习成为实用的数据库编程语言
DOI： --
发表时间： 2011
期刊：
影响因子： --
作者： [Atsushi Ohori, Katsuhiro Ueno]
通讯作者： Katsuhiro Ueno
velopment of SML￥#-making ML an ordinary practical language
SML的发展￥——让ML成为普通的实用语言
DOI： --
发表时间： 2011
期刊：
影响因子： --
作者： [Atsushi Ohori]
通讯作者： Atsushi Ohori
共 13 条
    Basic research on implementation technology for making SML# a practical polymorphic language
    • 批准号：
      25280019
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $5.24万
    • 财政年份：
      2013
    • 负责人：
      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
    海外基金