Method of automatically forming program specifications and appar

Details Method of automatically forming program specifications and appar Method of automatically forming program specifications and appar

1995-11-09

1998-04-21

Heckler, Thomas M.

G06F 1500

Patent

active

057428271

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.

REFERENCES:
patent: 4706212 (1987-11-01), Toma

Affiliated with

Also associated with

Rating

Method of automatically forming program specifications and appar does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method of automatically forming program specifications and appar, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method of automatically forming program specifications and appar will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2068394