| 摘要: |
| 本文给出了一个对象模型用以描述类ＰＡＳＣＡＬ程序设计语言的静态语义（语义对象，语义依赖）．讨论了基于该模型的增量静态语义分析的过程，动作，并发机制与实现手段．在文章的最后部分对模型扩充讨论了在多用户，分布式环境中的增量语义分析．文中的模型可稍加扩充以适应一般的高级程序设计语言． |
| 关键词: 增量静态语义分析，面向对象，类PASCAL语言，属性文法，多用户．分布式环境 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| AN OBJECT MODEL FOR INCREMENTAL STATIC SEMANTIC ANALYSIS |
|
Xu Zhichen,Qian Jiahua
|
| Abstract: |
| 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. |
| Key words: Incremental static semantic analysis, object orientation, PASCAL-like programming language, attribute grammar, multi-user, distributed environment. |
