增量静态语义分析的一个对象模型

AN OBJECT MODEL FOR INCREMENTAL STATIC SEMANTIC ANALYSIS

本文给出了一个对象模型用以描述类ＰＡＳＣＡＬ程序设计语言的静态语义（语义对象，语义依赖）．讨论了基于该模型的增量静态语义分析的过程，动作，并发机制与实现手段．在文章的最后部分对模型扩充讨论了在多用户，分布式环境中的增量语义分析．文中的模型可稍加扩充以适应一般的高级程序设计语言．

An object model is provided to model the static semantic of PASCL-like programming language in this paper. Based on this model the authors discussed the process, actions, parallel machanism and implementation alternatives of incremental static semantic analysis. In the last part of this paper they further adapted the model to make it suitable for multiuser, distributed environment. The model can be easily tuned for other high-level programming language.