Integrated Programming Language Processor Generator with Algorithm Animation
具有算法动画的集成编程语言处理器生成器
基本信息
- 批准号:08458065
- 负责人:
- 金额:$ 4.35万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (B)
- 财政年份:1996
- 资助国家:日本
- 起止时间:1996 至 1998
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
1. Background and Aim of the Research(1) We make a system which visually displays the function of compilers and compiler generators for the phases from lexical analysis to code generation, by exploiting algorithm animation techniques. The system facilitates compiler education by demonstrating algorithms such as parsing which were said to be difficult so far. Moreover, it helps developers making language processors by giving intuitive understanding of them.(2) We construct an integrated environment for language processor development where users can make language processors interactively using the above mentioned algorithm animation. We also make a system that helps users visually debugging attribute grammar description which is input to compiler generators. The system is based on algorithmic debugging techniques. Thus, users can develop language processors by confirming their analysis and translation procedures using visual display.2. Achievement in Year 1996-1998(1) An algorithm animation system is made for lexical and syntax analyzer, utilizing the generators Flex and Bison [reference 1]. (2) A compiler for a subset of C language is made using our system, by developing all phases from lexical analysis to code generation using our compiler generators [reference 2]. (3) An incremental attribute evaluation method is developed as a part of integrated development environment [reference 3]. (4) An algorithm and its prototype system are made for debugging attribute grammar description based on algorithmic debugging techniques [reference 4].3. Future workSince we have only prototype systems for some part, making a complete system is left as a future work.
1. (1)利用算法动画技术,实现了一个从词法分析到代码生成阶段的编译器和编译器生成器功能的可视化显示系统。该系统通过演示解析等迄今为止被认为是困难的算法来促进编译器教育。此外,它还通过直观地理解语言处理器来帮助开发人员制作语言处理器。(2)构建了语言处理器开发的集成环境,用户可以使用上述算法动画交互制作语言处理器。我们还制作了一个系统,帮助用户可视化地调试属性语法描述,这些描述输入到编译器生成器中。该系统基于算法调试技术。因此,用户可以通过使用视觉显示来确认他们的分析和翻译程序来开发语言处理器。(1)利用Flex和Bison生成器,为词法语法分析器制作了算法动画系统[文献1]。(2)通过使用我们的编译器生成器开发从词法分析到代码生成的所有阶段,使用我们的系统制作了C语言子集的编译器[参考文献2]。(3)作为集成开发环境的一部分,开发了一种增量属性评估方法[文献3]。(4)基于算法调试技术,提出了一种调试属性语法描述的算法及其原型系统[文献4]。由于我们只有某些部分的原型系统,因此制作完整的系统是未来的工作。
项目成果
期刊论文数量(23)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
中井史, 佐々政孝, 山下義行, 他: "LR属性文法に基づいたインクリメンタルな属性評価" 情報処理学会論文誌. 37・12. 2254-2265 (1996)
Fumi Nakai、Masataka Sassa、Yoshiyuki Yamashita 等:“基于 LR 属性语法的增量属性评估”日本信息处理学会会刊 37・12(1996 年)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
Nakai, H., Sassa, M., Yamashita, Y.et al.: "Incremental attribute evaluation based on an LR-attributed grammar (in Japanese)" Trans.IPSJ Japan. Vol.37, No.12. 2254-2265 (1996)
Nakai, H.、Sassa, M.、Yamashita, Y.等人:“基于 LR 属性语法的增量属性评估(日语)” Trans.IPSJ Japan。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
丹羽直輝,佐々政孝.他: "コンパイラ生成系における字句・構文解析器のアルゴリズムアニメーション" 情報処理学会全国大会論文集. 58-1. 17-49 (1999)
Naoki Niwa、Masataka Sasa 等:“编译器生成系统中的词法/语法分析器的算法动画”日本信息处理学会全国会议论文集 58-1(1999)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
Sasaki, A., Sassa, M.et al.: "Formalization and development of a compiler with SSA form intermediate language by attribute grammars (in Japanese)" SIG Programming, IPSJ Japan. Vol.18-24. 177-182 (1998)
Sasaki, A.、Sassa, M.等人:“通过属性语法使用 SSA 形成中间语言的编译器的形式化和开发(日语)”SIG 编程,IPSJ 日本。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
奥平雄吾,脇田建,佐々政孝,他: "高速実行可能な低レベル命令セット仮想計算機の設計" 情報処理学会全国大会論文集. 57・3. 593-594 (1998)
Yugo Okudaira、Ken Wakita、Masataka Sasa 等:“能够高速执行的低级指令集虚拟计算机的设计”日本信息处理学会全国会议论文集 57・3(1998)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
{{
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 }}
SASSA Masataka其他文献
SASSA Masataka的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('SASSA Masataka', 18)}}的其他基金
Generation and verification of COINS compiler optimizers using temporal logic and high-level extensions of optimizers
使用时序逻辑和优化器的高级扩展生成和验证 COINS 编译器优化器
- 批准号:
22300007 - 财政年份:2010
- 资助金额:
$ 4.35万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Generation and verification of compiler optimizers using temporal logic and high-level SSA form optimization considering aliases
使用时态逻辑和考虑别名的高级 SSA 形式优化来生成和验证编译器优化器
- 批准号:
19300006 - 财政年份:2007
- 资助金额:
$ 4.35万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
New methods for translation and optimization using SSA form in compilers and their validation systems
在编译器及其验证系统中使用 SSA 形式进行翻译和优化的新方法
- 批准号:
16500016 - 财政年份:2004
- 资助金额:
$ 4.35万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Optimizations for advanced architectures using compiler infrastructures
使用编译器基础架构优化高级架构
- 批准号:
13680399 - 财政年份:2001
- 资助金额:
$ 4.35万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Compilers for newest architectures using the SSA form intermediate language
使用 SSA 形式中间语言的最新架构编译器
- 批准号:
11680347 - 财政年份:1999
- 资助金额:
$ 4.35万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Development of Free Software for Practical Compiler Generator Based on Attribute Grammars
基于属性文法的实用编译生成器免费软件的开发
- 批准号:
05558028 - 财政年份:1994
- 资助金额:
$ 4.35万 - 项目类别:
Grant-in-Aid for Developmental Scientific Research (B)
Testing and Error Detection for Formal Specification of Programming Languages and their Translation
编程语言及其翻译的形式规范的测试和错误检测
- 批准号:
05680269 - 财政年份:1993
- 资助金额:
$ 4.35万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
Automatic Generation of an Integrated Programming Environment Based on Attribute Grammar Model
基于属性语法模型的集成编程环境自动生成
- 批准号:
03680023 - 财政年份:1991
- 资助金额:
$ 4.35万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
相似海外基金
CAREER: Compiler and Runtime Support for Sampled Sparse Computations on Heterogeneous Systems
职业:异构系统上采样稀疏计算的编译器和运行时支持
- 批准号:
2338144 - 财政年份:2024
- 资助金额:
$ 4.35万 - 项目类别:
Continuing Grant
CAREER: An Agile Compiler Framework for Spatial Dataflow Accelerators
职业:空间数据流加速器的敏捷编译器框架
- 批准号:
2338739 - 财政年份:2024
- 资助金额:
$ 4.35万 - 项目类别:
Continuing Grant
Modernise Compiler Technology With Deep Learning
通过深度学习实现编译器技术现代化
- 批准号:
EP/X018202/1 - 财政年份:2023
- 资助金额:
$ 4.35万 - 项目类别:
Research Grant
CAREER: An Automated Compiler-Runtime Framework for Democratizing Secure Collaborative Computation
职业:用于民主化安全协作计算的自动编译器运行时框架
- 批准号:
2238671 - 财政年份:2023
- 资助金额:
$ 4.35万 - 项目类别:
Continuing Grant
State of the Railway Compiler Data Solution (SORC-lite): open access real-time signalling data.
铁路状况编译器数据解决方案 (SORC-lite):开放访问实时信令数据。
- 批准号:
10038973 - 财政年份:2022
- 资助金额:
$ 4.35万 - 项目类别:
Collaborative R&D
CAREER: A Unified Compiler for Sparse Array Operations and Relational Algebra
职业:稀疏数组运算和关系代数的统一编译器
- 批准号:
2143061 - 财政年份:2022
- 资助金额:
$ 4.35万 - 项目类别:
Continuing Grant
Collaborative Research: SaTC: CORE: Medium: Compiler-Assisted Embedded Security
协作研究:SaTC:核心:中:编译器辅助嵌入式安全
- 批准号:
2154415 - 财政年份:2022
- 资助金额:
$ 4.35万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: CORE: Medium: Compiler-Assisted Embedded Security
协作研究:SaTC:核心:中:编译器辅助嵌入式安全
- 批准号:
2154322 - 财政年份:2022
- 资助金额:
$ 4.35万 - 项目类别:
Standard Grant
Nominal string diagrams and their application to compiler development
标称字符串图及其在编译器开发中的应用
- 批准号:
2741390 - 财政年份:2022
- 资助金额:
$ 4.35万 - 项目类别:
Studentship
Language-Agnostic Compiler Testing
与语言无关的编译器测试
- 批准号:
RGPIN-2019-06106 - 财政年份:2022
- 资助金额:
$ 4.35万 - 项目类别:
Discovery Grants Program - Individual