On the Decomposition of the States of SCM
Yasushi Tanaka · 1996
This article continues the development of the basic terminology for the SCM as defined in [11,12,18]. There is developed of the terminology for discussing static properties of instructions (i.e. not related to execution), for data locations, instruction locations, as well as for states and partial states of SCM. The main contribution of the article consists in characterizing SCM computations starting in states containing autonomic finite partial states.