程序设计语言原理-北京大学数学科学学院.PDFVIP

程序设计语言原理 Principle of Programming Languages 裘宗燕 北京大学数学学院 2012.2～2012.6 3. 对象和环境 数据和类型 对象：创建、销毁和使用（存在期） 变量：命名和性质约束 作用域 名字分类 指针和引用 别名 其他相关问题 2012年3月 2 约束时间 约束（binding，也称绑定）就是建立联系。约束时间指一个联系的建立时间 （有时还要考虑持续期间）。广义指做出一种决策的时间 与高级语言和程序有关的重要时间概念： • 语言设计时。如，语言的各种结构都是在设计时确定的 • 语言实现时。如，各种数据类型的表示，程序实现方式，内部结构的设计 • 编程时。如，程序员选择算法和数据结构、程序结构 • 编译时。从程序中高级结构到机器代码的映射，数据对象的布局 • 连接时。静态数据对象分配，跨模块对象约束