参考答案：A

解析： PDL(Program Design Language)是一种用于描述软件详细设计的语言。用PDL所描述的程序与高级程序设计语言所描述的程序在总体结构上比较相似，其语句用自然语言书写，所以(31)应该是C。
汇集(Binding)是指函数调用与响应该调用的执行代码之间建立联系。动态汇集(Dynamic Binding)是指在运行的调用时刻前，与给定调用所关联的代码是未知的。动态汇集是面向对象语言的一个重要特点。在传统程序设计语言中，汇集一般是在编译过程中出现，这称为静态汇集，所以(32)应该是C。
强类型(Strong Typing)是指在编译时刻就能确定所有变元的类型。Pascal是一种支持强类型概念的程序设计语言。所以(33)应该是A。
引用透明性(Referential Transparency)是指函数的计算结果仅由其子函数的计算结果确定，而与可能的计算次序无关。函数式语言的主要特征就是引用透明性。Lisp是一种函数式程序设计语言，所以(34)应该是D。
过程性语言就是指传统的程序设计语言。在使用传统程序设计语言时，程序员不仅要说明信息结构，而且要描述程序的控制流程，因此它也被称为过程性语言。过程性语言是相对于新型程序设计语言(函数式、逻辑式、面向对象)和第四代语言(4GL)而言的，其特点是通过使用赋值语句改变变量的状态，来完成各种任务，所以(35)应是A。
PSL(Problem Statement Language)是一种问题描述语言，它和PSA(Problem Statement Analyzer)一起构成了一种需求分析工具。