三种语言涉及的三类人：源语言（设计者），编译语言（实现者），目标语言（使用者）变量：对存储单元的抽象（变量是对一个(或若干个)存储单元的抽象，赋值语句则是修改存储单元内容的抽象。）。属性：变量的作用域，变量的生存期，值，类型静态绑定：凡是在编译时能确定的属性，称为静态属性； 若绑定在编译时完成，运行时不改变，称为静态绑定。动态绑定：凡是在运行时才能确定的属性称为动态的。 若绑定在运行时完成，称为动态绑定。定义：虚拟机是由软件实现的机器。（实际机器+程序）程序单元：1,程序单元: 程序执行过程中的独立调用单元；2.单元的表示 在编译时，单元表示是该单元的源程序。 运行时，单元表示由一个代码段和一个活 动记录组成，称为单元实例。3.活动记录:执行单元所需要的信息,以及该单元的局部变量所绑定的数据对象的存储区。4.非局部变量:一个程序单元可以引用未被本单元说明而被其它单元说明的变量。5.引用环境:局部变量+非局部变量。6.别名:同一单元的引用环境中有两个变量绑定于同
