tree semantics

Pattern matching utilizes abstract syntax tree isomorphism algorithm; Pointer semantics determines the semantics of programs through semantic constraints to check out security vulnerabilities; Interprocedural analysis adopts summary-based context sensitive analysis.

模式匹配采用了抽象语法树同构判断算法；指针语义则是通过语义约束来确定程序唯一语义以达到检查安全漏洞的目的；跨过程分析采用基于总结的上下文敏感分析方法。

The natural hierarchical relationship which covers information in semantics and structure has been considered. The new concepts of hierarchical dependency and hierarchical tree of relations are proposed. By the relation hierarchies idea, database views are constructed.

它考虑了包含语义及结构信息的自然层次联系，提出层次依赖与关系层次树的概念，引入关系的分层结构思想来构造数据库视图。