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

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)
柴山 悦哉  東京工業大学, 大学院・情報理工学研究科, 助教授 (80162642)
山本 喜一  慶応義塾大学, 理工学部, 助教授 (20051873)
Project Period (FY) 1996 – 1998
Project Status Completed (Fiscal Year 1998)
Budget Amount *help
¥6,800,000 (Direct Cost: ¥6,800,000)
Fiscal Year 1998: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 1997: ¥2,400,000 (Direct Cost: ¥2,400,000)
Fiscal Year 1996: ¥3,400,000 (Direct Cost: ¥3,400,000)
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.

Report

(4 results)
  • 1998 Annual Research Report   Final Research Report Summary
  • 1997 Annual Research Report
  • 1996 Annual Research Report
  • Research Products

    (23 results)

All Other

All Publications (23 results)

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

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

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

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

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

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Sassa, M.and Ookubo, T.: "Systematic Debugging Method for Attribute Grammar Description" Inf.Process. Lett.Vol.62. 305-313 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] 丹羽直輝,佐々政孝.他: "コンパイラ生成系における字句・構文解析器のアルゴリズムアニメーション" 情報処理学会全国大会論文集. 58-1. 17-49 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] 市川哲生,佐々政孝,他: "属性文法に基づくコンパイラにおけるレジスタ割付とコード生成" 日本ソフトウェア科学会大会論文集. 15. 309-312 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 奥平雄吾,脇田建,佐々政孝,他: "高速実行可能な低レベル命令セット仮想計算機の設計" 情報処理学会全国大会論文集. 57・3. 593-594 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 足立原直,脇田建,佐々政孝,他: "低レベル命令セット仮想計算機を利用した混成環境におけるプロセス移送" 情報処理学会全国大会論文集. 57・3. 595-596 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 楠目 勝利, 佐々 政孝: "コンパイラにおける構文解析過程の視覚化" 情報処理学会全国大会論文集. 55-1. 1-448-1-449 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 中井 史, 佐々 政孝, 他: "解析本を用いないインクリメンタルな属性評価" 日本ソフトウェア科学会大会論文集. 14. 637-640 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 奥平 雄吾 佐々 政孝, 他: "SSA形式を用いた最適化器の属性文法による実現" 日本ソフトウェア科学会大会論文集. 14. 25-28 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 佐々木 晃, 佐々 政孝, 他: "SSA形式を中間言語とするコンパイラの属性文法による定式化と開発" 情報処理学会プログラミング研究会. 18. (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] Sassa.M, Ookubo.T: "Systematic Debugging Method for Attribute Grammar Description" Information Processing Letters. 62. 305-313 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 中井史,佐々政孝,他: "LR属性文法に基づいたインクリメンタルな属性評価" 情報処理学会論文誌. 37,12. 2254-2265 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 佐々木晃,脇田建,佐々政孝: "スライスを用いた属性文法記述のデバッグ法" 日本ソフトウェア科学会大会論文集. 13. 249-252 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 鈴木憲明,陳亜峰,吉田順,佐々政孝: "SSA形式を中間表現とするテストコンパイラの属性文法による記述" 日本ソフトウェア科学会大会論文集. 13. 293-296 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 松井 望、山本喜一: "グラフに関するアルゴリズムアニメーション" 情報処理学会全国大会論文集. 54. 1-433-1-434 (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 志柴文太郎,柴山悦哉,他: "ビジュアル並列プログラミング環境KUEG:プロセスネットワークパターンを利用した再利用性の向上と実行表示の効率化" ソフトウェア科学会WISS'96論文集、近代科学社レクチャーノート. 16. 81-90 (1996)

    • Related Report
      1996 Annual Research Report

URL: 

Published: 1996-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi