论文研究-基于SQL通用数据计算工具的设计与实现.pdf

【文件属性】：

文件名称：论文研究-基于SQL通用数据计算工具的设计与实现.pdf

文件大小：978KB

文件格式：PDF

更新时间：2022-09-27 14:18:45

论文研究

出具证明编译器是随着人们对现今的软件提出更高的可靠性和安全性要求而产生的工具，它结合了以往程序设计和程序安全性证明的技术。论文介绍了一个出具证明编译器原型系统的实现。