论文部分内容阅读
由于现代高级编程语言和现有硬件之间的差异日渐增大,常常有必要引入中间语言、并在原始硬件之上构建抽象机。本论文描述了抽象机(Abstract Machine),一种对抽象机的本质特性进行捕捉的结构型模式;这些特性给出了对抽象机的定义。该模式将抽象机的静态特性和动态特性作为分离的组件进行描述,并且还考虑了指令集和这些指令的语义,以及此模式的其他一些重要组件。