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

通过程序转换自动生成高性能、高可靠性软件的研究

• 批准号: 04J01729
• 负责人: 河邊 昌彦
• 金额: $ 1.15万
• 依托单位: Waseda University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2004
• 资助国家: 日本
• 起止时间: 2004 至 2006
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-04J01729/
• 关键词: プログラム自動生産; LR解析; プログラム変換; プログラム逆転; 逆計算

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

There are many occasions when it is necessary to change the direction of compression, thawing, encryption, decoding, binary conversion, decimal binary conversion, etc. In this case, the first step is to manually open the first step in the opposite direction, and the second step is to automatically reverse the first step. In this study, we established the necessary conditions for the automatic inverse method to optimize the automatic inverse method in the same degree and in the same time. Specifically,(1) a description of a book is given. (2)The rules of the book are reversed. (3)The introduction of LR parsing techniques is non-deterministic, context-free grammar and removal.このアプローチによって. Automatic reverse search may be performed by the search engine.

项目成果

A program inverter

程序逆变器

• 发表时间: 2004
• 期刊: 16th Nordic Workshop on Programming Theory. Proceedings
• 作者: 真田貴志;池田和美;保倉明子;中井 泉;池田 和美;真道 洋子(編);久保田 静香;久保田 静香;久保田 静香;Masahiko Kawabe;河邊 昌彦;Masahiko Kawabe
• 通讯作者: Masahiko Kawabe

The program inverter LRinv and its structure

反相器LRinv方案及其结构

• 发表时间: 2004
• 期刊: Lecture Notes in Computer Science Vol.3350
• 作者: 真田貴志;池田和美;保倉明子;中井 泉;池田 和美;真道 洋子(編);久保田 静香;久保田 静香;久保田 静香;Masahiko Kawabe;河邊 昌彦;Masahiko Kawabe;Masahiko Kawabe
• 通讯作者: Masahiko Kawabe

Derivation of deterministic inverse programs based on LR parsing.

基于LR解析的确定性逆程序的推导。

• 发表时间: 2004
• 期刊: Lecture Notes in Computer Science 2996巻
• 作者: 真田貴志;池田和美;保倉明子;中井 泉;池田 和美;真道 洋子(編);久保田 静香;久保田 静香;久保田 静香;Masahiko Kawabe
• 通讯作者: Masahiko Kawabe

Case Studies with an Automatic Program Inversion System

自动程序反转系统的案例研究

• 发表时间: 2004
• 期刊: 日本ソフトウェア科学会大会論文集 6C-3
• 作者: 真田貴志;池田和美;保倉明子;中井 泉;池田 和美;真道 洋子(編);久保田 静香;久保田 静香;久保田 静香;Masahiko Kawabe;河邊 昌彦
• 通讯作者: 河邊 昌彦