这本书貌似蛮浅的，不过某些细节讲得很详细

1. 大部分函数式语言的局部变量具有非受限的生存期

2. 早期Fortran编译器比C编译器更快的原因之一就是C中的指针具有引进别名的倾向，而近年的别名分析算法才使C编译器生成的代码的效率有所提高。C99标准引入了一个新关键字restrict，附在一个指针声明上说明该指针指向的对象在当前scope内没有别名。 [292/899]