多项选择题
关于下面的while-do语句的属性文法，说法正确的是（）。
A.E .true和E .false都是综合属性B.E .true和E .false都是继承属性C.综合属性S .begin存放E的代码开头的对应的标号D.继承属性S .next存放语句S的后继语句对应的标号
多项选择题 关于程序设计语言中的布尔表达式，下列说法中正确的是（）。
多项选择题 产生式E®E1+E2的语义动作中关于E.type的语义规则可定义为：下面的说法正确的是（）。
多项选择题 关于数组元素引用的翻译，下列说法正确的是（）。
