【摘 要】
：
ＤＤＦＰ语言是一种基于表达式的泛函程序设计语言，这是一种具有归约语义的，引用透明的，能表达无限数据结构，高阶纯粹的函数式语言。它的实现是基于λ演算、ＳＬＩ演算、ＳＫＬ－Ｇ演算、ＬＮＦ演算及图归约技术
论文部分内容阅读
ＤＤＦＰ语言是一种基于表达式的泛函程序设计语言，这是一种具有归约语义的，引用透明的，能表达无限数据结构，高阶纯粹的函数式语言。它的实现是基于λ演算、ＳＬＩ演算、ＳＫＬ－Ｇ演算、ＬＮＦ演算及图归约技术。本文在［４］的基础上首先引进了ＬＮＦ演算，而后详细介绍了该语言的归约机实现技术，对结果作了讨论。
其他文献
腰疝分为先天性和后天性,腹腔内器官或组织可通过其先天的或后天形成的腹壁缺损进入疝囊。腰疝是一种不常见的腹外疝,从首次报道到现在为止仅有约300例。对于成人腰疝的处理
目的探讨慢性阻塞性肺疾病(chronic obstructive pulmonary disease,COPD)患者和肺泡蛋白沉积症(pulmonary alveolar proteinosis,PAP)患者的110KV 与 Sn100KV CT扫描的图像质量是否存在差异。方法选择COPD患者50例,行110KV和Sn1OOKV双相胸部CT扫描,比较两种管电压下吸气相和呼气相胸部CT图像质量的客观
在环境艺术设计中设计人员普遍使用的很多方法背后，都包含着对符号学应用。环境艺术设计中对符号学的合理使用，体现了环境艺术设计的表现性思维。因为符号学在环境艺术设计中的
市场经济条件下,为了适应电力企业的改革发展需要,提高企业的竞争力和自主创新能力,确保国家的能源安全,加强思想政治工作在构建和谐电力企业中的作用显得尤为必要。强有力的
完全胃肠道外营养(TPN)的广泛应用,对外科重症病人围手术期提供了非同一般的营养支持环境,同时也出现了一些并发症,早期报道主要为插管及感染,近年来代谢并发症逐渐引起外科
从最近一段时间在南海舆论场中看到的和听到的一些事情分析中国在南海问题的舆论场中是如何加强自己的声音?
试验研究了粉煤灰、矿渣粉复合掺合料对LC30页岩陶粒轻骨料混凝土坍落度、抗压强度、抗冻融性能、抗碳化性能和自由收缩性能的影响规律。结果表明:总掺量不变时随着粉煤灰相
目的改良大鼠双侧颈总动脉永久性阻断模型(2VO)以适应急性全脑缺血研究。方法平行制作双侧颈总、颈内、颈外动脉永久性阻断(6VO)和2VO全脑缺血模型及假手术组,比较2种模型的
青年大学生是一个可塑性很强的群体，认知方式、情感归属、心理状态等方面尚未成熟，在眼花缭乱的多元文化的强烈冲击下，大学生对民族文化出现了不同程度的认同感缺失。文章通过分
本文从预算管理这一资源配置手段的改进角度出发,研究了生态预算管理的目标、预算参与、预算强调及预算指标的特点。在此基础上,汲取一般性预算管理研究成果,对生态预算参与