程序自动化相关论文
本文给出了解一元一次方程同解变换的六种基本形式，在此基础之上，通过对一元一次方程解题程序进行分析，获得一元一次方程解法的经验模......
本文提出了利用程序自动化实现报表技术的方法，给出了程序自动化实现报表的具体方法和步骤，并利用该方法实现了报表在不同领域的具体......
随着W⊕X等技术的引入,传统的代码注入攻击几乎被消除,return-to-lib攻击受到很大程度的抑制。在此背景下,Hovav Shacham提出了Ret......
代码自动生成作为一种程序自动化技术,可有效解决现代大规模软件开发过程中遇到的重复编写代码问题,提高了软件开发的效率和质量。......
利用报表自动化技术,使用Excel对象模型,研究和提出Excel报表生成的具体技术方案,包括数据结构定义,xm l文件解析到最终报表生成的......
算法的程序自动化是计算机科学领域中比较热门的问题之一。由于算法的复杂性和抽象性,在算法的实际学习中,许多初学者难以理解和掌......
本文提出了基于构造性类型理论的一种面向对象类型理论中的继承机制，认为类是类规约类型的元素，而且类也是一种类型，继承是类规约和程......
