论文部分内容阅读
交互式程序设计环境是软件工程领域中一个新兴的研究分支,目前正受到越来越广泛的重视,该文描述了基于非局部属性计值实现增量的语义分析的有效途径。通过引进非局部依赖关系,克服了传统的局部属性方法的局限性,避免了大量的复制规则链,从而大大减少了时空复杂度,而且由属性方法提供了一种描述程序语计语言语义的形式化方法使得开发出的环境具有较好的可移植性和灵活性。(本刊录)