绑定/约束 （binding）指两个东西之间的关联

多数语言中运算符、流程控制结构、内部类型、对象的构造形式等都是在语言设计时决定的。多数语言手册都留下了许多问题，要求语言的实现者去仔细考虑和决定如何实现？编译器选择了如何将高级的结构映射到机器代码，包括静态定义的数据在内存里的布局方式。大部分编译器支持“分别编译”，连接器根据各模块的情况选择整体布局，并解决跨模块的相互引用关系。需要由连接器把不同的模块集合一起。指操作系统将程序载入内存，使之能够执行的那个时刻。这是个广义的概念，它覆盖了从程序执行开始到结束的这个时间跨度。