部分求值

作品数：28被引量：22H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：廖湖声刘磊苏航金成植高红雨更多>>
相关机构：北京工业大学吉林大学厦门大学天津大学更多>>
相关期刊：《计算机工程与应用》《计算机光盘软件与应用》《计算机仿真》《计算机工程与设计》更多>>
相关基金：国家自然科学基金北京市自然科学基金吉林省科技发展计划基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向编译器测试的部分求值静态输入确定方法
《吉林大学学报（工学版）》2020年第1期262-267,共6页刘磊 瓮杰 郭德贵 
国家重点研发计划项目(2017YFB1003103).
在编译器测试中,基于部分求值技术的编译器测试方法在部分求值阶段时,必须由测试人员对具体的测试用例进行分析,然后手动指定程序中的一些变量作为静态输入,这种依赖人工手动指定的策略具有一定的盲目性,而且无法使测试过程自动化进行...
关键词：计算机软件 编译器测试 部分求值 静态输入 程序静态分析 
peC语言的部分求值器及在编译器测试中的应用被引量：3
《软件学报》2017年第5期1221-1232,共12页郭德贵 王冠成 吕帅 刘磊 
吉林省科技发展计划(20150101054JC;20140520069JH;20150520060JH);国家自然科学基金(61300049);教育部高等学校博士学科点专项科研基金(20120061120059);吉林大学研究生创新基金(2016181)~~
部分求值技术在程序优化及软件自动生成等方面起着极为重要的作用.将部分求值技术应用到编译器测试中.为此,设计了一种C语言的子集peC语言,给出了该语言的部分求值策略的形式化描述,实现了peC语言的部分求值器,设计了基于部分求值技术...
关键词：部分求值 剩余程序 测试用例 编译器测试 抽象语法树 
基于部分求值和热踪编译的Twig查询优化方法
《计算机工程与应用》2016年第17期84-92,共9页万刚辉 廖湖声 苏航 高红雨 高万辰 
北京市自然科学基金(No.4122011);国家自然科学基金青年基金项目(No.61202074)
XML树模式查询又称为Twig查询,是XML查询处理中最核心的操作。在Twig查询算法的研究中,Tree Match算法由于极大程度上减少了中间结果的产生,被认为是最好的Twig查询算法之一。然而,在Tree Match算法的核心操作get Next中,存在不少仅依赖...
关键词：TWIG TreeMatch 部分求值 热踪编译 
基于部分求值的Twig查询优化被引量：1
《计算机工程》2016年第3期53-60,68,共9页高万辰 廖湖声 苏航 
国家自然科学青年基金资助项目"XQuery语言运行时自动程序例化技术的研究"(61202074);北京市自然科学基金资助项目"面向XQuery语言的树模式查询技术研究"(4122011)
Tree Match算法是一种有效的Twig查询匹配算法,但其存在反复分析Twig模式的缺点。针对该问题,引入编译中的部分求值技术,提出一种Twig查询优化方案。通过部分求值提前完成对Twig模式的分析,生成查询专用的指令序列代替原查询程序,并给...
关键词：可扩展标记语言数据库 XQUERY语言 XPath语言 TWIG查询 编译 部分求值 树模式查询 
Java语言程序例化中的扩展对象别名分析
《计算机光盘软件与应用》2013年第4期237-237,239,共2页许云飞 
随着计算机技术的不断进步和发展,Java语言程序凭借着自身的优势得到了广泛的应用,并取得了显著的成效。同时为了推动Java语言程序在计算机技术的作用,需要提高其精度,这就需要借助一定的对象别名分析技术。本文笔者对对象别名分析技术...
关键词：JAVA语言程序 扩展对象别名分析 绑定时间分析 部分求值 
分布式环境下的关系型XML查询优化
《计算机应用与软件》2011年第3期166-168,204,共4页孙源鹏 乐嘉锦 
XML数据查询是XML相关技术中一项的重要技术。与普通的XML查询方法不同,关系型XML查询不需要路径表达式,给查询者带来了便利,然而与此同时也带来了计算量增大的问题。针对该问题,给出了一种在分布式环境下基于部分求值的解决方案,并提...
关键词：XML 关系型XML查询 分布式计算 部分求值 
基于MST的优化技术:监督式编译
《计算机工程与设计》2011年第1期179-182,201,共5页郑丽丽 陈海明 
国家自然科学基金项目(60573013;60721061;60811120022)
为将监督式编译技术(supercompilation)的应用扩展到其它程序语言上,分析了监督式编译的各种算法,并进行了对比,总结了不同算法的优缺点。从研究和应用两方面对监督式编译进行分析,并提出新的发展方向。在此基础上,将其它基于系统转换(m...
关键词：系统转换 优化技术 监督式编译 部分求值 自应用 
XQuery语言部分求值技术与实现被引量：1
《北京工业大学学报》2009年第12期1710-1717,共8页苏航 廖湖声 
北京市自然科学基金资助项目(4082003);北京市教育委员会学科与研究生教育建设资助项目
介绍了XQuery语言的一种部分求值技术及其实现方法,为XQuery语言的实现与应用提供了一种新的程序优化技术.这种离线式部分求值可以大致分为2个阶段:预处理阶段和例化处理阶段.其中,预处理阶段通过引用敏感性分析和绑定时间分析来分析参...
关键词：部分求值 XQUERY 引用敏感性分析 绑定时间分析 
Java语言程序例化中的扩展对象别名分析
《高技术通讯》2008年第8期801-805,共5页廖湖声 李博韬 高红雨 
国家自然科学基金(60173013)资助项目
为了提高 Java 语言自动程序例化实现中的绑定时间分析的精度,提出了一种对象别名分析技术。该技术通过对 Java 程序中各种类与方法之间引用类型变量的跟踪分析,生成一种对象类例化模型,来描述不同对象在多分派的消息响应中的绑定时间特...
关键词：程序例化 部分求值 别名分析 绑定时间分析 
面向对象程序设计语言的部分求值动作分析被引量：1
《计算机工程》2006年第9期72-74,共3页高红雨 廖湖声 
国家自然科学基金资助项目(60173013)
提出了一种面向对象程序设计语言的部分求值动作分析方法,利用带有绑定时间标注的源程序生成部分求值动作原语序列,作为各种部分求值实现策略的基础。这种方法使部分求值算法独立于具体的实现方法,从而降低了部分求值系统的实现难度。
关键词：部分求值 动作分析 面向对象 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部