アセンブリ・プログラムの生成アルゴリズムについて

概要

論文の詳細を見る
The automatic generation of programs from specification is an ultimate goal of computer science, but it is difficult to formalize specifications itself, domain knowledge required to understand the specification, and knowledge how to implement it. We have built a project to generate assembly programs which control a one-board computer with Z-80 microprocessor from a given specification written in Japanese. In this paper we report the outlines of our project and propose an algorithm for generation of limited type of assembly program. The algorithm is based on the fact that objects in the specification are limited and the goal of the program is described in a set of equations over the state changes of objects before and after the program execution and it consists of a selection part of a suitable instruction and another part for re-calculation of new goals from an old goal and the selected instruction. We have implemented the algorithm in Java and demonstrated that the algorithm generates some correct assembly programs.
近畿大学の論文