基于SOFL规范的语义分析

高正华; 陈昊鹏

首页> 中文期刊> 《计算机应用与软件》 >基于SOFL规范的语义分析

基于SOFL规范的语义分析

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

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

著录项

来源
《计算机应用与软件》 |2007年第11期|86-88|共3页
作者
高正华; 陈昊鹏;
展开▼
作者单位

上海交通大学软件学院;

上海;

200240;

上海交通大学软件学院;

上海;

200240;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
抽象生成树(AST); 访问者模式; 符号表; 作用域; SOFL; 类型检查;

相似文献

中文文献
外文文献
专利

1. 基于语义网络的XBRL技术规范的语义分析 [J] . 陈婷婷 . 信息系统工程 . 2016,第004期
2. 规范如何进入社会科学解释——对当代自然主义基于语境模型的语义分析 [J] . 袁继红 . 广西大学学报（哲学社会科学版） . 2008,第005期
3. 基于Z规范的统一建模语言序列图语义分析方法 [J] . 李景峰 ,陈平 . 西安电子科技大学学报（自然科学版） . 2003,第004期
4. 基于本体论的过程规范语言的语义分析 [J] . 龙红能 ,殷国富 ,成尔京 . 计算机集成制造系统 . 2003,第010期
5. 基于 SOFL 的软件开发过程 [J] . 周挺 ,朱飞燕 . 中国科技纵横 . 2012,第017期
6. UML模型向SOFL规范的转换 [C] . 刘明明 . 第一届研究生IT创新学术论坛 . 2008
7. 基于SOFL的“震动”方法研究与支撑工具开发 [A] . 赵盼 . 2018

基于SOFL规范的语义分析

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅