类型检查是一种捕捉程序中不一致性的成熟并且有效的技术。

解释执行的效率比编译器生成的机器代码的执行效率高。

判断题解释执行的效率比编译器生成的机器代码的执行效率高。

解释器可以通过翻译来生成目标程序。

判断题解释器可以通过翻译来生成目标程序。

符号表是为每个变量名字保存一个记录的数据结构，记录的域是该名字的属性。

判断题符号表是为每个变量名字保存一个记录的数据结构，记录的域是该名字的属性。