部分求值相关论文
该文结合部分求值和数据例化,运用一种基于控制流图的例化方法.通过基于控制流图的数据例化和面向程序基本块的部分求值,在例化阶......
由于互联网技术的快速发展,我们可以通过它来发布和获取各式各样的信息。所以,为了充分且有效地表示网络上丰富的数据,W3C组织提出......
计算机技术发展迅速,随着硬件速度的提高,软件的设计和实现成为发展的瓶颈,软件自动化的研究成为热点问题,部分求值技术正是这一领......
当前，计算机技术发展迅速。随着硬件速度的提高，软件的通用性设计和复杂架构成为提升整体性能的瓶颈，软件自动化的研究成为热点问题，部......
在编译器测试中,基于部分求值技术的编译器测试方法将用于编译器优化和程序例化的部分求值技术应用到编译器测试中,是一种比较新颖......
文中基于数据流分析(DFA)技术,通过引进循环中变量之间的相互依赖关系,提出一种过程式语言部分求值的处理方法.利用该方法能有效地......
期刊
语言机制是提供抽象的核心手段,但并不能容易地扩展,给软件的编写和维护带来困难.我们定义了一个可扩展的编译体系结构--X体系结构......
该文对复杂系统仿真技术进行了理论分析 ,提出了利用部分求值技术在复杂系统仿真建模的方法 ,并给出了部分求值的理论证明 ,对复杂......
部分求值技术在程序优化及软件自动生成等方面起着极为重要的作用.将部分求值技术应用到编译器测试中.为此,设计了一种C语言的子集......
为了提高Java语言自动程序例化实现中的绑定时间分析的精度，提出了一种对象别名分析技术。该技术通过对Java程序中各种类与方法之间......
通过并行融合部分求值和别名分析技术，提出一种新的别名分析方法，并给出形式化描述．实践表明，该方法在具有部分输入的情形下不仅优于传......
XML数据查询是XML相关技术中一项的重要技术。与普通的XML查询方法不同,关系型XML查询不需要路径表达式,给查询者带来了便利,然而......
Tree Match算法是一种有效的Twig查询匹配算法,但其存在反复分析Twig模式的缺点。针对该问题,引入编译中的部分求值技术,提出一种T......
摘 要：随着计算机技术的不断进步和发展，Java语言程序凭借着自身的优势得到了广泛的应用，并取得了显著的成效。同时为了推动Java语言......
XML树模式查询又称为Twig查询，是XML查询处理中最核心的操作。在Twig查询算法的研究中，TreeMatch算法由于极大程度上减少了中间结果......
提出了一种面向对象程序设计语言的部分求值动作分析方法，利用带有绑定时间标注的源程序生成部分求值动作原语序列，作为各种部分求值......
ATLAS(Abbreviated Test Language for All Systems)是一个被广泛应用于军事和电子测试的通用标准测试语言。在国外航空航天、大型......
XQuery是W3C组织提出的一种功能强大的XML数据查询语言。随着XML数据的广泛应用, XML日益成为Internet上数据交换的标准化的数据存......
为将监督式编译技术（supercompilation）的应用扩展到其它程序语言上,分析了监督式编译的各种算法,并进行了对比,总结了不同算法的优......
为了实现面向对象语言的部分求值,提出了一种绑定时间分析技术.该技术通过针对引用类型变量和指针变量的上下文敏感分析,能够比较......
部分求值是一种程序优化技术，又称为程序例化技术，是通过程序变换把一个具有一般计算功能的程序系统变成为一个专用的程序系统，来达到......
部分求值是一种程序转换技术，它的目的是根据部分输入来例化一个程序。作为程序优化方法的部分求值技术，通过程序变换把一个具有一般......
学位
语言机制作为提供抽象的核心手段，在计算机技术飞速发展的今天并没有同样地高速发展，给软件的编写，维护带来很多困难。用户期望对领域......
<正> 一个无理数可以表示成整数与小数和的形式,如我们把这个“1”称为无理数的整数部分,“0.4142…”称为的小数部分.一般地,我们......
