プログラム生成におけるリスト処理を用いた入出力条件のチェック

概要

論文の詳細を見る
Since the 1980's, object oriented programming and structured programming have become hot topics for increasing software productivity. Usually, software has been handmade while other products are machine made. But demand for software has been increasing due to the influence of factory and office automation, so software crisis has begun. MAPP (Module Aided Programming system by Prolog) which we insist on, shows one way to increase software productivity. MAPP generates source code program from general specifications, which are written with natural language and which include function types and data types. During program generation, MAPP checks input and output conditions of linking modules using Prolog list processing, and also adds modules satisfy all the conditions needed to generate bug less program as MAPP can do, which we have reported in this paper.
福井工業大学の論文
1999-03-20