二级属性文法与二级属性计算

摘要

本文提出了二条属性文法的语义局部化原理以及语法分划的新方法,定义了二级属性文法,给出了语义树局部化分解的一种有效算法,建立了二种二级属性计算:狭义二级属性计算和广义二级属性计算。这些结果为属性文法技术更广泛地应用于软件开发找到了更加行之有效的新途径。