Abstract: An apparatus for automatically generating an object-oriented language program which comprises a class definition storing unit, a parsing unit, a generation pattern description storing unit and a program generating unit. The class definition unit describes and stores the class definition. The parsing unit obtains structure information by parsing a class definition input from the class definition unit. The generation pattern description storing unit stores the generation pattern description for structuring the information obtained from the class definition. The program generating unit automatically generates a new object-oriented program from structure information of the parsing unit and the generation pattern. Additionally, both the structure information and the information possessed by a class included in a pattern description in a program to be generated, are verified.

Abstract: A support system of object oriented programming includes a syntax analysis unit supplied with an object-oriented program and analyzing the same, a storage unit for storing convention information that describes a convention of the program, a collation unit for collating a result of analysis of the syntax analysis unit to the convention information held in the storage unit as to whether or not the result of analysis is in conformity with the convention, and a normalization unit for outputting a corrected program of the object-oriented program such that the corrected program is in conformity with the convention, when the result of analysis is in conflict with the convention.

Abstract: The syntax of an input program is analyzed, variables substituted for the substitution sentences from an interim expression thereof are classified into categories by utilizing rules of naming variables or the data structure, and a set of substitution sentences having variables of the same kind substituted for the destinations is picked up and is converted into a table. The syntax is analyzed to obtain a syntax structure and data attribute, and the data flow is analyzed to obtain data flow information. By using such information, the use of the temporary variables in the program is judged and the temporary variables that can be erased are erased. The table conversion and the interim expression from which the temporary variables are erased are replaced by the description of a natural language to form specifications.