部分计值

作品数：9被引量：6H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：孙永强黄林鹏王明文毛宏燕侯忆铭更多>>
相关机构：上海交通大学华中科技大学上海大学江西师范大学更多>>
相关期刊：《高技术通讯》《上海交通大学学报》《江西师范大学学报（自然科学版）》《软件学报》更多>>
相关基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于字节码例化的程序优化原理与分析被引量：2
《高技术通讯》2005年第5期5-8,共4页毛宏燕 黄林鹏 孙永强 
国家高技术研究发展计划(863计划)，国家重点基础研究发展计划(973计划)
为从根本上改善Java程序运行效率,充分发挥其跨平台和分布式计算的特点,促进网络计算更快发展,本文讨论了基于部分计值的字节码例化技术,提出了将通用的应用程序代码例化为更有效的面向领域和体系结构的机制,并实现一个面向Java字节码...
关键词：字节码 优化原理 程序运行效率 应用程序代码 部分计值 分布式计算 Java 网络计算 体系结构 面向领域 跨平台 HVA 
部分计值综述
《计算机科学》2004年第4期163-165,共3页拜朝峰 林琳 黄林鹏 孙永强 
863高科技项目(项目编号:2001AA113160)资助
部分计值是一种程序转换技术,在给定程序部分输入的情况下,可使用该技术对程序进行例化,完成程序中尽可能多的计算,最终得到高效的剩余代码。人们已经研究了许多程序设计语言的部分计值系统,并把它们应用到编译和编译器生成、计算机图...
关键词：程序转换 程序设计语言 部分计值系统 JAVA语言 
基于部分计值的信息个人化智能Agent系统被引量：1
《计算机工程》2003年第12期42-44,共3页谢瑾奎 黄林鹏 
"863"高科技项目(2001AA113160)
提出了一个基于部分计值技术的信息个人化系统PIPEAgent。部分计值理论源于程序转换中如何在给定部分输入的情况下，对程序完成尽可能多的运算从而对程序进行优化这一问题的探讨，PIPEAgent将部分计值理论与信息个人化相结合，以PIPE(Pe...
关键词：部分计值 信息个人化 智能AGENT 信息检索 
类JVML在线部分计值器的正确性证明被引量：1
《上海交通大学学报》2002年第9期1298-1300,共3页李渊洁 侯忆铭 孙永强 
国家自然科学基金 (60 0 73 0 3 3 );国家高技术研究发展计划 (863 )资助项目 (2 0 0 1AA113 160 )
定义了 JVML指令序列的程序语义 ,构造了相关的 JVML子集部分计值器并形式化地给出了计值规则 ,证明了计值规则的正确性 ,说明了表达式和语句在一定的环境下通过部分 /剩余( Partial/Residual)计值和全局 ( Total)
关键词：Java虚拟机语言 语义函数 计值规则 剩余计值 全局计值 JVML 在线部分计值器 正确性证明 
Java字节代码程序的部分计值
《上海交通大学学报》2002年第9期1301-1303,共3页侯忆铭 孙永强 
国家自然科学基金 (60 0 73 0 3 3 );国家高技术研究发展计划 (863 ) (2 0 0 1AA113 160 )资助项目
为了有效地构造一个 Java部分计值器 ,并且形式化地描述计值规则 ,提出了 Java字节代码程序的静态语义 ,在此基础上构造了一个 online的 Java部分计值器 。
关键词：Java字节代码程序 静态语义 Java部分计值器 程序转换 计值规则 语法范畴 
对象式Lam bda演算的自作用部分计值被引量：4
《软件学报》2001年第8期1154-1161,共8页王明文 孙永强 
国家 8 6 3高科技发展规划资助项目 (86 3- 30 6 - 0 5 - 0 4- 3)&&
讨论了一个对象式 Lambda演算的部分计值器 .对象式 L ambda演算在 Lambda演算的基础上添加了对象机制 .部分计值器的构造是采用传统的三步法 ,首先定义对象式 L ambda演算的元解释器 ;然后提出对象式Lambda演算的约束时间分析方法 (bin...
关键词：程序转换 部分计值 对象式Lambda演算 面向对象 程序设计语言 
命令式语言的精确约束时间分析(英文)
《江西师范大学学报（自然科学版）》2001年第1期29-35,82,共8页王明文 孙永强 
Thisworkissupportedinpartby 86 3Project (86 3 30 6 )ofChinaandFoundationofNa tionalNatureScienceofChina (6 99830 0 3) .
构造程序语言的部分计值器时最重要的一步是约束时间分析 .当已知程序的部分输入时 ,约束时间分析阶段是区分程序中哪些计算可在部分计值时完成 ,哪些计算须在运行时完成 .然而对实际应用程序 ,已存在的部分计值器并没有较好对程序进行...
关键词：部分计值 约束时间分析 递归归约树 命令式语言 程序变换规则 递归调用分析 剩余程序 
并行程序语言编译器的自动生成：并行Lambda语言的部分计值（Ⅰ）
《软件学报》1997年第A00期441-447,共7页旷海蓉 陈翌佳 
本文和相关的论文讨论了一个并行程序语言的部分计值器。本文所使用的语言是在Ｌａｍｂｄａ演算法的基础上加入消息传递的通讯机制。
关键词：并行Lambda语言 编译器 并行程序语言 
并行程序语言编译器的自动生成：并行Lambda语言的部分计值（Ⅱ）
《软件学报》1997年第A00期448-456,共9页陈翌佳 孙永强 
本文和相关的一篇论文讨论了一个并行程序语言的部分计值器，相关论文已对语言作了介绍。本文交替爱道分析，约束时间分析等问题。
关键词：并行Lambda语言 编译器 并行程序语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部