• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

1998 Fiscal Year Final Research Report Summary

Integrated Programming Language Processor Generator with Algorithm Animation

Research Project

Project/Area Number 08458065
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field 計算機科学
Research InstitutionTOKYO INSTITUTE OF TECHNOLOGY

Principal Investigator

SASSA Masataka  Graduate School of Information Science and Engineering, TOKYO INSTITUTE OF TECHNOLOGY Leoturer, 大学院・情報理工学研究科, 教授 (20016182)

Co-Investigator(Kenkyū-buntansha) YAMASHITA Yoshiyuki  Univ.of Tsukuba, Institute of Information Science and Electronics, Associate Pro, 電子・情報工学系, 助教授 (20220353)
WAKITA Ken  Graduate School of Infformation Science and Engineering, TOKYO INSTITUTE OF TECH, 大学院・情報理工学研究科, 講師 (10242265)
Project Period (FY) 1996 – 1998
KeywordsLanguage Processor / Compiler / Algorithm Animation / Compiler Generator / Attribute Grammar
Research Abstract

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 work
Since we have only prototype systems for some part, making a complete system is left as a future work.

  • Research Products

    (9 results)

All Other

All Publications (9 results)

  • [Publications] 丹羽直輝, 佐々政孝, 他: "コンパイラ生成系における字句・構文解析器のアルゴリズムアニメーション" 情報処理学会全国大会論文集. 58・1. リサーチ9 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 佐々木晃, 佐々政孝, 他: "SSA形式を中間言語とするコンパイラの属性文法による定式化と開発" 情報処理学会プログラミング研究会. 18・24. 177-182 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 中井史, 佐々政孝, 山下義行, 他: "LR属性文法に基づいたインクリメンタルな属性評価" 情報処理学会論文誌. 37・12. 2254-2265 (1996)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Sassa, M., Ookubo, T.: "Systematic Debugging Method for Attribute Grammar Description" Information Processing Letters. 62. 305-313 (1997)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 品野竜太, 山下義行: "プロセッサのグループ化による超並列プログラム実行の可視化" 情報処理学会全国大会論文集. 56・1. 24-25 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Niwa, N., Kusume, K.and Sassa, M.: "Algorithm animation of lexical and syntax analyzers in a compiler generator (in Japanese)" Ann.Conf.of IPSJ Japan. Vol.58-1, Research 9 (to appear). (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] 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)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] 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)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Sassa, M.and Ookubo, T.: "Systematic Debugging Method for Attribute Grammar Description" Inf.Process. Lett.Vol.62. 305-313 (1997)

    • Description
      「研究成果報告書概要(欧文)」より

URL: 

Published: 1999-12-08  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi