| 摘要 |
PURPOSE:To check on the call related to of a procedure and implement an efficient unerring executive program, by forming an access vector and initial access level list related to an input program. CONSTITUTION:A bit vector representing a called procedure is implemented at every procedure (main routine and subroutine) and a list representing the level of call of procedure is implemented. After this pre-processing is made, the level of a procedure called from a procedure of level n (n>=1) is set to n+1 and, when a procedure to be called from a procedure of level m are exhausted, the processing is regarded as terminated. When the m is larger than the number of procedures, there is a recursive access. Therefore, a procedure making recursive call is detected in the following way. Namely, the vector of a procedure called by the n-th procedure is used as an initial value and a procedure which is called by the called procedure is added to the vector and, when the vector value becomes constant, the processing is regarded as terminated. When the vector contains the n-th procedure, the n-th procedure is recursively called. |
