【摘 要】
：
为Plotkin带常数传名调用λ演算定义了一个新的CPS(continuation-passing-style)变换方法.方法基于求值上下文变换,新颖之处在于,每次传递二值给继续而不是常规的一值.先给出
【机 构】
：
中国科学院软件研究所计算机科学国家重点实验室,中国科学院研究生院
论文部分内容阅读
为Plotkin带常数传名调用λ演算定义了一个新的CPS(continuation-passing-style)变换方法.方法基于求值上下文变换,新颖之处在于,每次传递二值给继续而不是常规的一值.先给出二值CPS变换编码,再在此基础上定义CPS语言,最后建立源语言和CPS语言的一一映射关系并证明Plotkin的模拟定理.与Plotkin的工作比较,工作特点在于,给出了一个CPS归约闭语言,该语言中所有继续都可以用函数形式表达,且模拟定理的可靠性和完备性方向证明更为简单.
其他文献
<正>农村信用社产权明晰问题到底难在哪里?要明晰农村信用社产权,必须做到农村信用社产权法律上的清晰和经济上的清晰,二者缺一不可。但是,在明晰农村信用社产权实践中,我们
新时期,高校服务型基层党组织建设虽然取得了一些成绩,但还存在着服务理念、服务能力、服务内容等多方面不足。为进一步做好高校服务型基层党组织建设,可从强化服务意识、改
本文主要以基于网络高性能计算平台技术的CAE相关概述作为出发点,分析了CAE应用软件和CAE高性能计算解决方案,并探讨了网格高性能计算平台技术在CAE中的应用,以期为提高高性
综合论述了各类新型电子封装材料的优势及不足之处,同时指出了目前我国新型电子封装材料所存在的问题及进一步完善的措施,并预测了电子封装用金属基复合材料的应用前景.
安全生产主体责任落实不到位、安全管理队伍素质不高、安全教育培训缺位、安全动态监管比较薄弱是百色道路危险货物运输行业安全管理面临的主要问题;加强道路危险货物运输行
很多展览会追求大而全,而由中华全国工商联美容化妆品业商会和中国对外贸易经济合作企业协会共同主办的“2005中国国际香水及彩妆展览会”却在细微处做文章,把正在随着人们
自主计算是一个新兴的热点研究领域,旨在通过"技术管理技术"的手段隐藏系统管理复杂性,建立用户可指导的、状态觉察的和自适应的计算机系统.目前,自主计算的研究仍处于起步阶
中草药是中医学的宝贵财富 ,在国内应用普遍。然而近年来 ,由中药引起的药物不良反应或药源性疾病有逐年增多的趋势 ,有关中草药所致肾脏损害的病例相继报道[1～ 3 ] ,引起国内
目的 分析脉动真空压力蒸汽灭菌器生物监测不合格的原因,探讨其处理和预防的措施.方法 对脉动真空压力蒸汽灭菌效果进行生物监测,分析灭菌不合格的原因.结果 脉动真空压力蒸
加强新社会组织领域的党建工作是形势发展的必然要求。重庆市涪陵区新社会组织党建工作已有一定基础,但也存在着问题。加强新社会组织领域党建工作要紧密结合新社会组织的实