切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
高阶函数式语言的部分求值器
高阶函数式语言的部分求值器
来源 :软件学报 | 被引量 : 0次 | 上传用户:xuan_98
【摘 要】
:
本文提出了一种新的基于CLOSURE分析的高阶函数式语言的部分求值方法,对表达式中的高阶值采取了有效的抽象分析手段,从而提高了剩余程序的质量。文中给出了CLOSURE分析,抽象分析,标记和例化较完
【作 者】
:
陆卫东
金成植
【机 构】
:
吉林大学计算机科学系
【出 处】
:
软件学报
【发表日期】
:
1996年10期
【关键词】
:
部分求值
抽象分析
高阶函数式语言
部分求值器
Partial evaluator
high order function
abstract analysi
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出了一种新的基于CLOSURE分析的高阶函数式语言的部分求值方法,对表达式中的高阶值采取了有效的抽象分析手段,从而提高了剩余程序的质量。文中给出了CLOSURE分析,抽象分析,标记和例化较完整的形式描述。
其他文献
林业打出“国际牌”
改革开放以来,我国林业积极推进国际交流,广泛开展国际经济技术合作,创造各种条件引进外资,并努力扩大林业进出口贸易,已形成多层次、多渠道、多形式、全方位的林业对外开放
期刊
林业发展
对外开放新格局
科技交流与合作
产品出口
创汇林业
进出口贸易
林业产业
珍贵树种
国际组织
进出口经营权
猪繁殖与呼吸综合征病毒GX1003株全基因序列测定与分析
为了解广西省猪繁殖与呼吸综合征病毒(PRRSV)的遗传变异情况,采用RT-PCR对PRRSV广西地方分离株GX1003株全基因组进行分段扩增、测序与分析.结果,不包括Poly(A)尾,GX1003株基因组全长为15320 nt.同源性分析表明,GX1003株与国内外PRRSV美洲型毒株全基因核苷酸及其推导氨基酸序列的同源性分别为85.0%~99.4%和82.1%~99.1%,与欧洲型代表株LV株的
期刊
猪繁殖与呼吸综合征病毒
全基因序列
遗传变异
同源性分析
创建新时代中国红色教育培训延安品牌的策略研究
新时代需要创建中国红色教育培训的延安品牌。要深入挖掘延安的价值宝库,着力打造延安的城市品牌,全面优化红色教育培训环境,建设标志性的红色教育培训基地,开发独具魅力的精
期刊
红色教育
延安品牌
基地建设
监管体系
签证机关管理系统
虽然公钥体制中的公开密钥常存放于公开目录中,但并不是说公开密钥不需要保护。本文介绍了公开密钥所面临的威胁及建立公开密钥管理体制的必要性,并分析和设计了这样一种体制-签
期刊
签证机关
管理系统
公开密钥
安全系统
Smart card
digital signature
certificate
certification au
论西汉灾异思想与儒经之结合
西汉时期,儒学逐渐开始发展并且逐步占据了社会思想的主导地位。吸取了秦灭亡的教训,活跃于政坛上的儒生便开始借五经言灾异从而参与政事,儒生们将灾异一说与《诗》《书》《
期刊
灾异说
儒学
五经
阴阳五行
《营造法式》孤品实物——天宫楼阁公输堂
公输堂位于西安市鄠邑区渭丰镇祁村南堡中部,南距城区9公里,是全国重点文物保护单位,也是全国仅存的小木作天宫楼阁式古建筑。走进公输堂,这间从外观上看并不起眼的屋子里,却
期刊
公输堂
天宫楼阁
小木作
古建筑
基于混流装配线调度问题的新颖蚁群算法
研究混流装配线调度问题,提出了一种用于求解该问题的新颖蚁群算法;该算法定义了适合求解该问题的信息素表示方法和更新公式,并结合解的质量定义了兴趣度;结合每代所产生的最优解
期刊
混流装配线调度问题
蚁群算法
信息素
兴趣度
经验概率因子
mixed model assembly lines scheduling problems
an
分布进程间通信合作因果关系及因果序的保证
本文介绍了在计算机分布式环境下相互合作的进程中通信合作事件间的因果关系,基于在一组相互合作的进程间可能同时服务于多个任务,而且这些任务间可能并不相关这一观点,引入了事
期刊
进程组
通信合作
因果序列
事件类
算法
Process group
communication and cooperation
casual orderi
基于BP和统计的混合法前馈型神经网络及其应用
为避免BP算法本身易陷入局部极小值的缺陷,本文将具有新组合激活函数的BP法与传统的BP方法分别与统计最优化方法结合组成混合算法,将他们分别应用于天气预报和贷款之中,并进行了仿真比
期刊
神经网络
BP算法
统计
前馈型
天气预报
ANN (artificial neural networks )
OCAF (optimal combinati
嵌入式Linux混合任务调度器的设计与实现
针对Linux系统只能调度单一类型任务的问题,提出一种可调度实时/非实时任务的混合任务调度器;根据最新的Linux调度框架,对Linux调度器进行扩展,实现了EDF调度类和CBS服务器;调度器
期刊
实时化
EDF算法
CBS算法
模块调度框架
调度类
real-time
EDF algorithm CBS algorithm modular schedu
与本文相关的学术论文