程序提取相关论文
通常情况下,我们很难确定一段给定的程序是否符合它的规范,程序提取是一种从构造性证明中提取函数式程序的机制,其构造特性很好地保证......
本文介绍了计算机辅助程序提取工具CAPET(Computer AidProgram Extraction Tool)的设计思想,功能特点和实现技术。更多还原......