论文部分内容阅读
本文提出一种基于表达式的泛函程序设计语言,它的基础是λ演算、SKI 演算,这种语言具有高阶、引用透明、无副作用等良好的数学性质,是一种具有高度平行性并适合于多处理器机器上运行的非冯·诺依曼式语言。
一种基于表达式的泛函数程序设计语言
【摘 要】
：
本文提出一种基于表达式的泛函程序设计语言,它的基础是λ演算、SKI 演算,这种语言具有高阶、引用透明、无副作用等良好的数学性质,是一种具有高度平行性并适合于多处理器机
【机 构】
：
东南大学计算机系,华东工学院计算机系
【出 处】
：
计算机研究与发展
【发表日期】
：
1993年4期
【基金项目】
：
国家自然科学基金
其他文献
“一带一路”倡议作为关乎未来中国改革发展、实现中华民族伟大复兴中国梦的“顶层设计”,具有深刻的时代背景.区域经济一体化进程与碎片化趋势同时并存、美国的主导下的国际
苹果套袋可以使果实美观,防止发生果锈,然而套袋费工、费时,成本较高,而且套袋果含糖量低,风味较淡,为了解决上述问题,于1999～2000年在金冠苹果上使用美果除锈剂,除锈效果显著
本文简要介绍了光盘只读存储器的存储原理，着重描述了它的物理记录格式，并详细讨论了光盘的控制和显示机制。
语言是文化的载体,而禁忌避讳语作为其中很重要的一个组成部分,从它的演变发展中我们可以看出时代的变化及特征。从古至今,言语忌讳就一直存在并不断地发生变化。本文旨在对
本文在分析微机病毒传染机制的基础上，提出了一种基于访问控制和监控病毒动态行为的计算机病毒防护技术，并介绍了运用该项技术研制的微机安全卡。
<正>初级卫生保健作为公民应享有的基本权利的一个组成部分,在社会可持续发展战略中具有十分重要的位置。自我国实施“2000年人人享有初级卫生保健目标”以来,全国各地都按照
会议
本文简要评价了模糊聚类分析中常用的两种方法：λ截集聚类法和模糊ＩＳＯＤ－ＡＴＡ聚类法，指出了它们在应用方面的一些局限性，据此提出了一种基于模糊稀疏度的聚类技术－ＳＢＣＴ法。其中，改进了贴近度的概
本文在并行ｊｏｉｎ法ＡＢＪ＾＋的基础上提出一个基于Ｓｅｍｉｊｏｉｎ的改进算法ＳＢＡＢＪ。我们在多台Ｓｕｎ工作站是实现了该算法，并对ＡＢＪ＾＋和ＳＢＡＢＪ＾＋进行了能测试。算法分析和实验结果表明了并行ｊｏｉｎ算法ＳＢＡＢＪ＾＋优于ＡＢＪ＾＋算法。