抽象アルゴリズムの記述と具体プログラムへの変換

概要

論文の詳細を見る
Our target in this paper is not the development of a new structured programming language but the establishment of a new methodology in software engineering. The core of this methodology is both the description of abstract algorithms and its translation to concrete grograms. These algorithms written by an Algol-like high level language"Metal"Manipulate abstract data-structures. These structures are composed of a set of abstract data-units which have information about relations and properties of themselves. Abstract algorithms can not be executed directly because of their abstract characteristic; so these are translated to concrete programs which manipulate concrete data-structures such as arrays, linked lists, etc. by A PROGRAM SYNTHESIZER (APS). Transformation rules for APS are generated automatically by a DATA OPERATION GENERATOR (ADOG). Some examples of the description and transformation of abstract algorithms are presented.
一般社団法人情報処理学会の論文
1978-11-15