基于SOFL规范的语义分析  

SEMANTIC ANALYSIS BASED ON SOFL SPECIFICATION

作　　者：高正华[1] 陈昊鹏[1] 

机构地区：[1]上海交通大学软件学院,上海200240

出　　处：《计算机应用与软件》2007年第11期86-88,共3页Computer Applications and Software

摘　　要：传统的形式化方法局限于严格的证明、对程序员要求较高的教育背景,使其举步维艰。于是作为形式化方法与面向对象的联姻的SOFL(Structured Object-Oriented Formal Language)便应运而生。在给出语义分析的整体算法后,逐步分析各个阶段遇到的关键问题并给出解决方法,同时在参考其他语言的基础上,定义了SOFL中一些语义规则。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.

关 键 词：抽象生成树(AST) 访问者模式 符号表 作用域 SOFL 类型检查 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]