考虑下面的类PASCAL的嵌套过程语言程序，对于调用过程：主程序→过程Q→过程R→过程R，过程R的第2次调用的活动记录中的Display表为（）。

多项选择题关于下面的while-do语句的属性文法，说法正确的是（）。

A.E .true和E .false都是综合属性
B.E .true和E .false都是继承属性
C.综合属性S .begin存放E的代码开头的对应的标号
D.继承属性S .next存放语句S的后继语句对应的标号

多项选择题‎关于程序设计语言中的布尔表达式，下列说法中正确的是（）。

A.布尔表达式在程序中可以用于逻辑演算、以及将逻辑计算的结果用作控制语句的条件
B.在不同的程序设计语言中，布尔表达式的计算规则是一样的
C.在不同的程序设计语言中，布尔表达式的计算规则可能是不同的
D.对于一个程序设计语言，布尔表达式的计算可以有不同的翻译方法，但是计算得到的逻辑结果（真假值）应当是一样的

多项选择题产生式E®E1+E2的语义动作中关于E.type的语义规则可定义为：‎下面的说法正确的是（）。

A.整型表达式和整型表达式做加法，结果是整型
B.整型表达式和整型表达式做加法，结果是实型
C.整型表达式和实型表达式做加法，结果是整型
D.整型表达式和实型表达式做加法，结果是实型

多项选择题关于数组元素引用的翻译，下列说法正确的是（）。

A.编译程序在翻译数组元素引用时，会在生成的代码中插入计算数组元素地址的代码
B.编译程序产生数组元素地址计算代码，其中的不变部分与数组的定义相关
C.编译程序产生数组元素地址计算代码，其中的可变部分与数组的定义、数组元素引用的下标都相关
D.数组元素引用的翻译可以从左到右一遍扫描生成地址计算代码

多项选择题关于下面的赋值语句生成三地址代码的属性文法，说法正确的是（）。

A.E .place表示存放E值的单元的名字（地址）
B.E .code表示对E求值的三地址语句序列
C.S .code代表赋值语句S的三地址代码
D.上述属性文法不是S-属性文法