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

プログラム変換による高性能・高信頼性ソフトウエアの自動生産の研究

Research Project

Project/Area Number 04J01729
Research Category

Grant-in-Aid for JSPS Fellows

Allocation TypeSingle-year Grants
Section国内
Research Field Software
Research InstitutionWaseda University
Research Fellow 河邊 昌彦  
Project Period (FY) 2004 – 2006
Project Status Completed (Fiscal Year 2005)
Budget Amount *help
¥1,800,000 (Direct Cost: ¥1,800,000)
Fiscal Year 2005: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 2004: ¥1,000,000 (Direct Cost: ¥1,000,000)
Keywordsプログラム自動生産 / LR解析 / プログラム変換 / プログラム逆転 / 逆計算
Research Abstract

データの圧縮・解凍,暗号化・解読,数の二進十進変換・十進二進変換等,データーを両方向に変換するプログラムを1つづつ開発する必要がある場合が多い.このような場合に,どちらか開発し易い方のプログラムを人手で開発し,逆方向のプログラムは「プログラムの自動逆転」により作ることが出来れば,プログラムの生産性は大幅に向上する.
本研究では,この「プログラムの自動逆転」により,人手で作る場合と同じ程度に最適化されたプログラムを,現実的な時間内で作るための必要条件および自動逆転法を確立した.具体的には,(1)プログラムを一種の項書き換え系で,記述する.(2)その書き換え規則を逆向きにする(ここで,書き換え規則が非決定的になることに注意).(3)前フェーズで導入された非決定性を,文脈自由文法におけるLR解析の技術を応用して除去する.
このアプローチによって.自動逆転可能なプログラムのクラスの調査も行った.

Report

(1 results)
  • 2004 Annual Research Report

Research Products

(4 results)

All 2004

All Journal Article

  • [Journal Article] Derivation of deterministic inverse programs based on LR parsing.2004

    • Author(s)
      Masahiko Kawabe
    • Journal Title

      Lecture Notes in Computer Science 2996巻

      Pages: 291-306

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Case Studies with an Automatic Program Inversion System2004

    • Author(s)
      河邊 昌彦
    • Journal Title

      日本ソフトウェア科学会大会論文集 6C-3

    • NAID

      130005006639

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A program inverter2004

    • Author(s)
      Masahiko Kawabe
    • Journal Title

      16th Nordic Workshop on Programming Theory. Proceedings

    • Related Report
      2004 Annual Research Report
  • [Journal Article] The program inverter LRinv and its structure2004

    • Author(s)
      Masahiko Kawabe
    • Journal Title

      Lecture Notes in Computer Science Vol.3350

      Pages: 219-234

    • Related Report
      2004 Annual Research Report

URL: 

Published: 2004-03-31   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi