首页> 中文期刊> 《计算机应用与软件》 >基于语法树和程序正确性验证研究

基于语法树和程序正确性验证研究

AI论文写作 >>

开具论文收录证明 >>

页面导航

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

摘要

提出了一种新的基于语法树的程序正确性验证方法(TM方法)在理论和算法上对方法的实现进行了初步探讨,并结合XML技术提出了一套实现这一方法的切实可行的解决方案.

著录项

来源
《计算机应用与软件》 |2007年第4期|111-112,156|共3页
作者
周必水; 李骏; 沃钧军;
展开▼
作者单位

杭州电子科技大学软件学院;

浙江;

杭州;

310018;

杭州电子科技大学软件学院;

浙江;

杭州;

310018;

杭州电子科技大学软件学院;

浙江;

杭州;

310018;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
程序正确性验证; 语法树; XML;

相似文献

中文文献
外文文献
专利

1. 智能CAA中基于语法树的程序正确性验证研究 [J] . 张延红 . 浙江万里学院学报 . 2006,第005期
2. 基于语法树的程序正确性验证模型及算法设计 [J] . 周必水 ,张延红 ,赵敬 . 杭州电子科技大学学报 . 2006,第001期
3. 基于符号约束的PLC程序正确性验证 [J] . 张晔 ,陆余良 . 计算机科学 . 2017,第0z2期
4. 程序正确性验证的代数方法及其研究进展 [J] . 廖苑蓉 ,陈光喜 . 桂林电子科技大学学报 . 2013,第001期
5. 面向对象程序设计语言EIFFEL的程序正确性验证工具 [J] . 姚卿达 ,唐长宁 . 计算机科学 . 1994,第002期
6. 一种基于语境的程序正确性验证算法的研究与实现 [C] . 尹顺顺 ,马殿富 ,赵永望 . 全国抗恶劣环境计算机第二十四届学术年会 . 2014
7. 基于时间逻辑的程序正确性验证 [A] . 王知远 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号