design objectives for high level microprogramming languages
The primitive operations of a high level language for producing emulators is shown to include special purpose features specific to virtual machine implementation. A Hierarchy of data types, short reliable language constructs, and control structures that minimize emulator complexity are suggested by a goal-directed, structured design methodology. In addition, structural clues generated by the language compiler assist in producing portable, yet efficient horizontal micro code for partially-encoded host architectures.
design object language operability emulation feature virtual machine implementation hierarchies data types reliability control structure structure complexity design methodologies compilation portability efficiency code architecture direct