欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
提出了一种为指针逻辑设计定理证明器的新技术，该项技术主要是基于变换和替代，已在APL的工具中得以实现．APL自动定理证明器是完全自动的，且其产生的证明可以被有效地记录和检验．已使用关于单链表、双链表和二叉树的指针程序测试了该自动定理证明器．
英文摘要：
This paper presents a technique for designing theorem prover which mainly based on transformation and substitution for Pointer Logic. The technique realized as a tool called APL is implemented. The APL theorem prover is fully automated with which proofs can be recorded and checked efficiently. The tool is tested on pointer programs mainly about singly-linked lists, doubly-linked lists and binary trees.
同期刊论文项目
同项目期刊论文
期刊信息
位置：