| 基于抽象解释的Prolog程序验证技术研究 |
| |
| 引用本文： | 赵岭忠,古天龙,蔡国永,钱俊彦. 基于抽象解释的Prolog程序验证技术研究[J]. 中国药品标准, 2008, 0(7) |
| |
| 作者姓名： | 赵岭忠 古天龙 蔡国永 钱俊彦 |
| |
| 基金项目： | 国家自然科学基金，广西青年科学基金 |
| |
| 摘 要： | ![]()
作为一种通用的语义近似理论,抽象解释已广泛应用于各类程序的形式化验证中.现有基于抽象解释的逻辑程序验证技术未涉及与程序点相关联的程序性质的验证,设计能够描述此类性质的逻辑程序具体语义和抽象语义是构造相应验证工具的关键.本文给出了一种基于抽象解释的Prolog程序验证方法,该方法采用了具有路径信息的Prolog语义及其抽象作为语义基础,因而可用于验证与程序点相关联的程序特性.本文例子表明了该验证方法的有效性.
|
| 关 键 词： | 抽象解释 程序验证 不动点语义 |
Abstract Interpretation Based Verification of Prolog Programs |
| |
| ZHAO Ling-zhong,GU Tian-long,CAI Guo-yong,QIAN Jun-yan. Abstract Interpretation Based Verification of Prolog Programs[J]. , 2008, 0(7) |
| |
| Authors: | ZHAO Ling-zhong GU Tian-long CAI Guo-yong QIAN Jun-yan |
| |
| Abstract: | ![]()
|
| |
| Keywords: | Prolog |
|
| 点击此处可从《中国药品标准》浏览原始摘要信息 |
|
点击此处可从《中国药品标准》下载全文 |
|
