前后义无关属性文法

本文定义了一种新的属性文法类——前后义无关属性文法。提出了一种适合该属性文法类的属性计算方法——局部多遍属性计算法。 文中证明了,在保证属性计算与具体应用无关的前提下,前后义无关属性文法具有最强的表达能力,而局部多遍属性计算法则具有最佳的实现效率。 基于上述理论,作者构造了编译程序生成系统BSX。