Instruction Sequences with Dynamically Instantiated Instructions

Abstract. We study sequential programs that are instruction sequences with dynamically instantiated instructions. We de¯ne the meaning of such programs in two di®erent ways. In either case, we give a transla-tion by which each program with dynamically instantiated instructions is turned into a program without them that exhibits on execution the same behaviour by interaction with some service. The complexity of the trans-lations di®er considerably, whereas the services concerned are equally simple. However, the service concerned in the case of the simpler trans-lation is far more powerful than the service concerned in the other case