| 基于SOFL规范的语义分析 |
| |
| 引用本文： | 高正华,陈昊鹏. 基于SOFL规范的语义分析[J]. 计算机应用与软件, 2007, 24(11): 86-88 |
| |
| 作者姓名： | 高正华 陈昊鹏 |
| |
| 作者单位： | 上海交通大学软件学院,上海,200240;上海交通大学软件学院,上海,200240 |
| |
| 摘 要： | 传统的形式化方法局限于严格的证明、对程序员要求较高的教育背景,使其举步维艰.于是作为形式化方法与面向对象的联姻的SOFL(Structured Object-Oriented Fomal Language)便应运而生.在给出语义分析的整体算法后,逐步分析各个阶段遇到的关键问题并给出解决方法,同时在参考其他语言的基础上,定义了SOFL中一些语义规则.
|
| 关 键 词： | 抽象生成树(AST) 访问者模式 符号表 作用域 SOFL 类型检查 |
| 修稿时间： | 2005-09-06 |
SEMANTIC ANALYSIS BASED ON SOFL SPECIFICATION |
| |
| Gao Zhenghua,Chen Haopeng. SEMANTIC ANALYSIS BASED ON SOFL SPECIFICATION[J]. Computer Applications and Software, 2007, 24(11): 86-88 |
| |
| Authors: | Gao Zhenghua Chen Haopeng |
| |
| Affiliation: | School of Software, Shanghai Jiaotong University, Shanghai 200240 , China |
| |
| Abstract: | Traditional formal methods are trapped by themselves with the requirement of rigorous proof and high education for programmers.SOFL,as the marriage of formal and object-oriented methods,emerges.The algorithm for semantic analysis is presented,and the key problems are put forward and solved step by step.Some rules for SOFL based on other languages are defined. |
| |
| Keywords: | Abstract syntax tree(AST)Visitor pattern Symbol table Scope SOFL Type checking |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
