论文部分内容阅读
提出一种判断Ｊａｖａ程序中的操作是否可交换执行的检测技术，给出可交换性操作的基本概念，并用函数式语言对检测算法进行描述。
面向Java操作的可交换性检测技术
【摘 要】
：
提出一种判断Ｊａｖａ程序中的操作是否可交换执行的检测技术，给出可交换性操作的基本概念，并用函数式语言对检测算法进行描述。
【机 构】
：
吉林大学计算机科学系
【出 处】
：
吉林大学自然科学学报
【发表日期】
：
2000年1期
【基金项目】
：
吉林省科委基金资助
其他文献
<正> 一、提高竞争力是新形势下冶金工业的战略任务据国家统计局快报,1996年我国钢产量达到10002万吨,首次超过1亿吨,居世界首位。这对我国冶金工业来说,既是发展的里程碑,又
非公有制经济的生命力有多长?是否在社会主义初级阶段结束后,我国进入发达的社会主义之后,非公有制经济就会消灭了?我认为,非公有制经济的生命力将与市场经济共存。首先,市场
<正> 据海关统计,我国今年1—9月出口比去年同期有所下降,尤其是8月份,我国外贸出口155.6亿美元,比去年同期下降2.9%,从'对主要贸易伙伴的进出口增长速度统计表'上看
塔式起重机机构运动容易引起货物摆动,降低了起重机的工作效率和安全性。通过分析机构运动惯性力引起的货物摆动特性,可为有效消除塔式起重机货物摆动提供控制理论和方法。文
一、当前,全国交通系统广大干部职工在两个文明建设中不断取得新的成绩1.运输生产继续保持良好势头。公路运输的基础地位进一步增强。1997年,水路货运稳中有升,客运在结构性
随着能源危机的加剧,太阳能光伏产业日益受到关注。而太阳能光伏发电功率存在波动性和随机性的特点,为减轻其对电网的影响,进行光伏出力预测是解决这一问题的基本途径。文章
<正> 所谓消费信贷,是指金融机构或流通企业向消费者提供贷款,以便消费者购买超过目前购买力的消费品。国际经验表明,随着经济的发展和消费结构的升级换代,居民的消费方式也
<正> 1998年,我国政府在面临国内外诸多不利因素的情况下,采取一系列果断措施,有效地制止了经济过度下滑的趋势,使我国经济基本上保持了稳定发展的态势。但是,截止今年1月底,
提出一种改进的用于DMT-ADSL系统的比特分配方案.理论分析与计算机模拟结果表明,该方案不仅降低了运算复杂度,而且与其它算法的性能几乎相等.
<正> 一、讨论'培育新的经济增长点'要防止思维偏差回顾改革十多年以来我国经济发展的过程,每隔一个时期就出现一个'经济热点'。例如:70年代末80年代初,农业