一种基于属性文法的C++静态语义描述

A Specification of C++ Static Semantics Based on Attribute Grammar

主要讨论了利用属性文法对Ｃ＋＋中在类的定义、对象说明、成员函数、继承与派生等方面涉及的全局及局部静态性质进行形式化描述的方法。

This paper discusses how to use AG to describe the static semantics of C++ in its class defining、object declaring、member function declaring、inheriting and deriving,etc.