课题基金 / 基金详情

Development of Free Software for Practical Compiler Generator Based on Attribute Grammars

Development of Free Software for Practical Compiler Generator Based on Attribute Grammars
基于属性文法的实用编译生成器免费软件的开发
批准号:
05558028
负责人:
SASSA Masataka
金额:
$3.9万
依托单位国家:
日本
项目类别:
Grant-in-Aid for Developmental Scientific Research (B)
财政年份:
1994
资助国家:
日本
项目状态:
已结题
起止时间:
1994 至 1995

项目摘要

项目成果

SASSA Masataka的其他基金

相似基金

相关文献

中文摘要
翻译
本研究旨在开发基于属性文法的自由编译器生成器。1. Rie是一个基于一遍式属性文法的编译器生成器。它是基于GNU野牛用C实现的。Rie的1.0.3和1.0.4版本于1993年发布,1.0.5版本于1994年发布。1995年,在反映了用户给出的评论和错误信息后,1.0.6版本在GNU协议的基础上作为自由软件发布。这些版本是通过新闻组公布的.编译器'的万维网' usenet ',该软件可通过匿名ftp从' ftp.is.titech.as.jp:/pub/Rie '.一些评论和询问来自国外。此外,在一本书中发表了一篇解释Rie中编译器描述的文章。2.Jun是编译器后端的生成器,它基于树上的属性语法。它是用Common Lisp实现的。Jun有一个特性,它可以处理属性依赖的循环,这使得优化器形式化。在改进了输入描述和修改了早期版本的生成属性赋值器的形式之后,Jun已经从头开始重写。这可以通过匿名ftp从'ftp.is.titech.ac.jp:/pub/Jun'获得。3.编译器是使用Rie和Jun为实际规模语言制作的。实际上,通过Rie对前端的描述和Jun对优化器、寄存器分配和代码生成器的描述,已经实现了一个C语言子集的编译器。
英文摘要
This research aims at developing free compiler generators based on attribute grammar descriptions.1.Rie is a compiler generator based on a one-pass-type attribute grammar. It is implemented in C,based on GNU Bison. Version 1.0.3 and 1.0.4 of Rie have been released in 1993, and version 1.0.5 have been released in 1994. In 1995, after reflecting the comments and bug information given by users, version 1.0.6 is released as a free software on the basis of GNU agreement. These releases are announced through the news group 'comp.compilers' of the world wide network 'usenet', and the software is available by anonymous ftp from 'ftp.is.titech.as.jp : /pub/Rie'. Several comments and inquiries are given from abroad. In addition, an article explaining the description of a compiler in Rie is published in a book.2.Jun is a generator for compiler back-ends, which is based on attribute grammars on trees. It is implemented in Common Lisp. Jun has a characteristic feature that it can deal with cycles of attribute dependency, which enables formalization of optimizers. Jun has been rewritten from scratch, after improving the input description and modifying the form of the generated attribute evaluator of the earlier version. This is available by anonymous ftp from 'ftp.is.titech.ac.jp : /pub/Jun'.3.A compiler is made using both Rie and Jun for practical scale language. Actually, a compiler for a subset of C language was made, by describing the front-end by Rie, and the optimizer, register allocation and code generator by Jun.
期刊论文(26)
专著(0)
科研奖励(0)
会议论文
Clen,Y: "A Hribute Grammar Description of Optimizer for Static Single Assignment Form" 情報処理学会プログラミング研究会. 96-PRO-5. 9-14 (1996)
Clen, Y:“静态单赋值形式优化器的 Hribute 语法描述”日本信息处理学会编程研究组 96-PRO-5 (1996)。
DOI: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
Sassa, M.: "An Example of Compiler Description Using an Attribute Grammar (in Japanese)" Johoshori, IPS Japan. Vol.35, No.4. 358-369 (1994)
Sassa, M.:“使用属性语法的编译器描述示例(日语)”Johoshori,IPS 日本。
DOI: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
佐々木晃: "循環属性文法に基づく生成系Jun" 日本ソフトウェア科学会大会論文集. 12. 293-296 (1995)
Akira Sasaki:“基于循环属性语法的生成系统 Jun”日本软件科学技术学会会议录 12. 293-296 (1995)。
DOI: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
Chen, Y., Sasaki, A.and Sassa, M.: "Attribute Grammar Description of Optimizer for Static Single Assignment Form" SIG Notes, IPS Japan. 96-PRO-5. 9-14 (1996)
Chen, Y.、Sasaki, A. 和 Sassa, M.:“静态单赋值形式优化器的属性语法描述”SIG 注释,IPS 日本。
DOI: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
共 23 条
    Generation and verification of COINS compiler optimizers using temporal logic and high-level extensions of optimizers
    • 批准号:
      22300007
    • 项目类别:
      Grant-in-Aid for Scientific Research (B)
    • 资助金额:
      $11.56万
    • 财政年份:
      2010
    • 负责人:
      SASSA Masataka
    • 依托单位:
    Generation and verification of compiler optimizers using temporal logic and high-level SSA form optimization considering aliases
    • 批准号:
      19300006
    • 项目类别:
      Grant-in-Aid for Scientific Research (B)
    • 资助金额:
      $12.06万
    • 财政年份:
      2007
    • 负责人:
      SASSA Masataka
    • 依托单位:
    New methods for translation and optimization using SSA form in compilers and their validation systems
    • 批准号:
      16500016
    • 项目类别:
      Grant-in-Aid for Scientific Research (C)
    • 资助金额:
      $2.24万
    • 财政年份:
      2004
    • 负责人:
      SASSA Masataka
    • 依托单位:
    Optimizations for advanced architectures using compiler infrastructures
    • 批准号:
      13680399
    • 项目类别:
      Grant-in-Aid for Scientific Research (C)
    • 资助金额:
      $2.3万
    • 财政年份:
      2001
    • 负责人:
      SASSA Masataka
    • 依托单位:
    海外基金