部分计值

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
对象式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演算 面向对象 程序设计语言 
并行程序语言编译器的自动生成：并行Lambda语言的部分计值（Ⅰ）
《软件学报》1997年第A00期441-447,共7页旷海蓉 陈翌佳 
本文和相关的论文讨论了一个并行程序语言的部分计值器。本文所使用的语言是在Ｌａｍｂｄａ演算法的基础上加入消息传递的通讯机制。
关键词：并行Lambda语言 编译器 并行程序语言 
并行程序语言编译器的自动生成：并行Lambda语言的部分计值（Ⅱ）
《软件学报》1997年第A00期448-456,共9页陈翌佳 孙永强 
本文和相关的一篇论文讨论了一个并行程序语言的部分计值器，相关论文已对语言作了介绍。本文交替爱道分析，约束时间分析等问题。
关键词：并行Lambda语言 编译器 并行程序语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部