The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Oct. 19, 1999
Filed:
Jun. 30, 1995
Kenji Nagahashi, Kawasaki, JP;
Sanya Uehara, Kawasaki, JP;
Fujitsu Limited, Kawasaki, JP;
Abstract
A control flow is prepared by connecting blocks in an execution order, each block not including a branch and comprising a series of statement, based on a syntactical analysis of a program. A second control flow is prepared by cutting the first control flow at one portion and combining the cut result with a symbol designating a loop. A third control flow is prepared by expressing a portion of a loop, branch and merge in the second control flow and the second control flow in a hierarchical manner. The third control flow expresses a portion of a sequential execution other than the loop, branch and merge, a portion of the loop, and a portion of a branch and merge in a hierarchical order by using a symbol for a sequential execution. A specification of the program is extracted by using the third control flow.