Given a program specification in a logical form, our goal is to transfrom it into a procedural code. The transformation process consists of repeatedly applying the transformation rules to transform a segment of the developing program into a procedural...
Given a program specification in a logical form, our goal is to transfrom it into a procedural code. The transformation process consists of repeatedly applying the transformation rules to transform a segment of the developing program into a procedural code.
In this paper, we present the method for the design and implementation of an automatic programming system which transforms the logical forms in the program specification into the procedural code. The automatic programming system is designed and implemented by using the expert system technology and uses the object-based representation for the representation of programming knowledges in the knowledge base.