Simulation of operational semantics of machine instructions
Vartan Andronikovich Padaryan, Mikhail Aleksandrovich Solovev, A. I. Kononov · Programming and Computer Software · 2011
We propose a model describing the operational semantics of machine instructions for a wide class of target architectures. A special feature of the model is that it is designed for the inverse (compared to the classical compiler problem) tract of transformations, but, at the same time, the model makes it possible to perform different optimizing transformations over it. The target machine is described by means of external specifications. A prototype subsystem for model interpretation is considered.