Automatic Generation of an Integrated Programming Environment Based on Attribute Grammar Model
Automatic Generation of an Integrated Programming Environment Based on Attribute Grammar Model
批准号:
03680023
负责人:
SASSA Masataka
金额:
$1.28万
依托单位国家:
日本
项目类别:
Grant-in-Aid for General Scientific Research (C)
财政年份:
1991
资助国家:
日本
项目状态:
已结题
起止时间:
1991 至 1992
中文摘要
完全支持智能编程工作的编程环境的重要性是众所周知的。在这项研究中,我们使用基于源程序和语法树的属性语法的两个生成器,根据正式规范生成了编译器、解释器、调试器等。我们还根据基于属性语法的规范生成了一个集成的图形用户界面,它使用了上述模块。主要结果如下。1. 实现增量式语法和语义分析器,这将是面向语言的编辑器的核心,以及它的生成器。2. 一个名为“Wing”的生成器的实现和评估,该生成器根据其基于属性语法的规范生成图形用户界面。3. 使用名为“Jun”的生成器实现优化器,该生成器基于树属性语法。4. 用“Wing”和“Jun”实现一个基于窗口的调试器。从这些成果中,我们确认了以下几点。1. 我们可以处理语言处理器的每个阶段,这通常是手工制作的,基于属性语法作为单个框架。2. 我们还可以从基于属性语法的简单规范生成图形用户界面,现在已知这需要很长的构造步骤。到目前为止,我们制作的工具足以确定我们的研究方向,但将它们应用于更多实际规模的编程语言和编程环境将是我们未来的工作。
英文摘要
The importance of programming environments which totally support the intelligent work of programming is well known.In this research, we generated compilers, interpreters, debuggers etc. from a formal specification, using two generators based on attribute grammars for source programs and for syntax trees. We also generated an integrated graphical user interface, which uses the above modules, from a specification based on attribute grammars. The main results are the following. 1. Realization of an incremental syntax and semantic analyzer, which will be the core of language-oriented editors, and its generator. 2. Realization and evaluation of a generator called "Wing", which generates a graphical user interface from its specification based on attribute grammars. 3. Realization of an optimizer using a generator called "Jun", which is based on a tree attribute grammar. 4. Realization of a window-based debugger using "Wing" and "Jun".From these achievement, we confirmed the following. 1. We can deal with each phase of language processors, which has been normally made by hand, based on attribute grammars as a single framework. 2. We can also generate graphical user interface, which is now known to require long construction steps, from a simple specification based on attribute grammars.The tools we made so far are enough for confirming our research direction, but it will be our future work to apply them to more real-scale programming languages and programming environments.
期刊论文(7)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
荻原 一隆: "1パス型属性文法によるインクリメンタルな意味解析" 日本ソフトウェア科学会第9回大会論文集. 9. 317-320 (1992)
Kazutaka Ogihara:“使用一次性属性语法的增量语义分析”日本软件学会第九届年会论文集 9. 317-320 (1992)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
荻原 一隆: "1パス型属性文法によるインクリメンタルな意味解析" 日本ソフトウエア科学会第9回大会論文集. 9. 317-320 (1992)
Kazutaka Ogihara:“使用一次性属性语法的增量语义分析”日本软件学会第九届年会论文集 9. 317-320 (1992)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
金子 正俊: "属性文法に基づくグラフィカルユーザインタフェース生成系とその評価" 情報処理学会第46回全国大会講演論文集. 46. 4E-1 (1993)
Masatoshi Kaneko:“基于属性语法的图形用户界面生成系统及其评估”日本信息处理学会第 46 届全国会议论文集 46. 4E-1 (1993)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
林 謙一: "属性文法に基づく記述によるGUI生成系" 日本ソフトウェア科学会大会論文集. 8. 417-420 (1991)
Kenichi Hayashi:“基于属性语法的描述的 GUI 生成系统”日本软件科学技术学会会议录 8. 417-420 (1991)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
佐々 政孝: "1パス型属性文法に基づくコンパイラ生成系Rie" コンピュータソフトウェア.
Masataka Sasa:《基于one-pass属性语法的编译生成系统Rie》计算机软件。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
共 7 条
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
-
依托单位:
Compilers for newest architectures using the SSA form intermediate language
-
批准号:11680347
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.3万
-
财政年份:1999
-
负责人:SASSA Masataka
-
依托单位:
Integrated Programming Language Processor Generator with Algorithm Animation
-
批准号:08458065
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$4.35万
-
财政年份:1996
-
负责人:SASSA Masataka
-
依托单位:
Development of Free Software for Practical Compiler Generator Based on Attribute Grammars
-
批准号:05558028
-
项目类别:Grant-in-Aid for Developmental Scientific Research (B)
-
资助金额:$3.9万
-
财政年份:1994
-
负责人:SASSA Masataka
-
依托单位:
Testing and Error Detection for Formal Specification of Programming Languages and their Translation
-
批准号:05680269
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.28万
-
财政年份:1993
-
负责人:SASSA Masataka
-
依托单位:
海外基金