部分求值相关论文
Java语言是一种通用的面向对象程序设计语言,它的应用范围非常广泛,但程序执行效率较低. 为了提高Java的执行效率,我们把部分求值......
该文结合部分求值和数据例化,运用一种基于控制流图的例化方法.通过基于控制流图的数据例化和面向程序基本块的部分求值,在例化阶......
由于互联网技术的快速发展,我们可以通过它来发布和获取各式各样的信息。所以,为了充分且有效地表示网络上丰富的数据,W3C组织提出......
计算机技术发展迅速,随着硬件速度的提高,软件的设计和实现成为发展的瓶颈,软件自动化的研究成为热点问题,部分求值技术正是这一领......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
在编译器测试中,基于部分求值技术的编译器测试方法将用于编译器优化和程序例化的部分求值技术应用到编译器测试中,是一种比较新颖......
部分求值技术在软件工程与软件自动化领域中起着重要的作用，最近几年中我们在这一领域取得了一定的成果，并实现了几个实验性系统。这......
文中介绍一个采用增量计算进行数据库操作的数据库引擎，阐述了利用rn部分求值技术实现增量式数据库查询的方法，给出了增量式数据库引......
文中基于数据流分析(DFA)技术,通过引进循环中变量之间的相互依赖关系,提出一种过程式语言部分求值的处理方法.利用该方法能有效地......
期刊
语言机制是提供抽象的核心手段,但并不能容易地扩展,给软件的编写和维护带来困难.我们定义了一个可扩展的编译体系结构--X体系结构......
该文对复杂系统仿真技术进行了理论分析 ,提出了利用部分求值技术在复杂系统仿真建模的方法 ,并给出了部分求值的理论证明 ,对复杂......
本文提出了一种新的基于ＣＬＯＳＵＲＥ分析的高阶函数式语言的部分求值方法，对表达式中的高阶值采取了有效的抽象分析手段，从而提高了剩余程序的质......
循环展开是过程式语言部分求值中的难题之一，本文提出一种基于信息流分析的部分求值技术，解决了部分求值中循环展开问题，本文利用这一......
本语言基于抽象解释技术设计并实现了一函数式语言部分求值器ＦＭＩＸ．ＦＭＩＸ在设计方法和实现策略上具有一定独到之处，系统运行效率较高。......
本文描述了流图语言的自应用型静态部分求值器，它由活跃变量分析、抽象分析、标记和经４部分组成，在活跃变量分析基础上再作抽象分析，比......
部分求值技术在程序优化及软件自动生成等方面起着极为重要的作用.将部分求值技术应用到编译器测试中.为此,设计了一种C语言的子集......
为了提高Java语言自动程序例化实现中的绑定时间分析的精度，提出了一种对象别名分析技术。该技术通过对Java程序中各种类与方法之间......
部分求值作为一种新型的软件自动化技术,在程序优化中起着重要的作用.本文介绍了一种针对xQuery语言进行部分求值的实现技术,即部......
通过并行融合部分求值和别名分析技术，提出一种新的别名分析方法，并给出形式化描述．实践表明，该方法在具有部分输入的情形下不仅优于传......
XML数据查询是XML相关技术中一项的重要技术。与普通的XML查询方法不同,关系型XML查询不需要路径表达式,给查询者带来了便利,然而......
元程序设计是许多逻辑程序语言具有的重要特点，它可以有效地实现程序自解释自调节功能．研究逻辑语言的元程序设计方法对于自动优化程......
Tree Match算法是一种有效的Twig查询匹配算法,但其存在反复分析Twig模式的缺点。针对该问题,引入编译中的部分求值技术,提出一种T......
介绍了XQuery语言的一种部分求值技术及其实现方法,为XQuery语言的实现与应用提供了一种新的程序优化技术.这种离线式部分求值可以......
摘 要：随着计算机技术的不断进步和发展，Java语言程序凭借着自身的优势得到了广泛的应用，并取得了显著的成效。同时为了推动Java语言......
提出了一种应用于过程式语言的动态部分求值技术，并实现了一个类如ＰＡＳＣＡＬ语言的部分求值器。......
提出一种有条件的最佳状态合并算法，并给出证明。...
文中基于数据流分析技术，通过引进循环中变量之间的相互依赖关系，提出一种过程式语言部分求值的处理方法。利用该方法能有效地解决过......
提出一种应用于过程式语言的动静态结合的部分求值技术，并给出该方法的形式描述。采用该方法，实现一个实验性的部分求值系统。......
XML树模式查询又称为Twig查询，是XML查询处理中最核心的操作。在Twig查询算法的研究中，TreeMatch算法由于极大程度上减少了中间结果......
提出了一种面向对象程序设计语言的部分求值动作分析方法，利用带有绑定时间标注的源程序生成部分求值动作原语序列，作为各种部分求值......
ATLAS(Abbreviated Test Language for All Systems)是一个被广泛应用于军事和电子测试的通用标准测试语言。在国外航空航天、大型......
XQuery是W3C组织提出的一种功能强大的XML数据查询语言。随着XML数据的广泛应用, XML日益成为Internet上数据交换的标准化的数据存......
文中介绍一个采用增量计算进行数据库操作的数据库引擎，阐述了利用部分求值技术实现增量式数据库查询的方法，给出了增量式数据库引擎......
为将监督式编译技术（supercompilation）的应用扩展到其它程序语言上,分析了监督式编译的各种算法,并进行了对比,总结了不同算法的优......
文章研究部分求值技术中的约束时间分析，介绍了一种高阶的函数式语言－ＦＳＬ语言的部分求值器的ＢＴＡ。......
为了实现面向对象语言的部分求值,提出了一种绑定时间分析技术.该技术通过针对引用类型变量和指针变量的上下文敏感分析,能够比较......
部分求值是一种程序优化技术，又称为程序例化技术，是通过程序变换把一个具有一般计算功能的程序系统变成为一个专用的程序系统，来达到......
部分求值是一种程序转换技术，它的目的是根据部分输入来例化一个程序。作为程序优化方法的部分求值技术，通过程序变换把一个具有一般......
学位
语言机制作为提供抽象的核心手段，在计算机技术飞速发展的今天并没有同样地高速发展，给软件的编写，维护带来很多困难。用户期望对领域......
<正> 一个无理数可以表示成整数与小数和的形式,如我们把这个“1”称为无理数的整数部分,“0.4142…”称为的小数部分.一般地,我们......
