THE TRACING SUBSCRIPT METHOD FOR VECTORIZATION OF SERIAL ARITHMETIC
Fan Zhou · 1983
In this paper a tracing subscript method for vector arithmetic recognizers of computers is developed. It is systematic in itself. In comparison with the coordinate method and the sequential relationship matrix method, it not only strengthens the recognization power for assignment statement loops, but expands the recognization range to IF and GOTO statements. It has been adopted for such large computers as 151--3/4. This paper intends to introduce its basic idea, theory and method, thus presenting mainly a set of axioms for making sequential hierarchy, i. e. propagation rules, and proving an elder sequence theorem and decision criterion.