切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
泛函程序设计语言实现中的图归约演算
泛函程序设计语言实现中的图归约演算
来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:woailzm002
【摘 要】
:
本文叙述了在Von Neumann机器上实现基于λ演算,SKI演算的泛函程序设计语言所采用的图归约演算。SKI-G演算是SKI演算的图形表示,是基于图形的形式归约系统,面向机器实现,是实现高阶,引用透明,归约语义,全
【作 者】
:
杨祥金
【机 构】
:
东南大学计算机系南京,210018
【出 处】
:
计算机研究与发展
【发表日期】
:
1993年12期
【关键词】
:
图归约演算
程序语言
Graphic reduction calculusfunctional programming.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文叙述了在Von Neumann机器上实现基于λ演算,SKI演算的泛函程序设计语言所采用的图归约演算。SKI-G演算是SKI演算的图形表示,是基于图形的形式归约系统,面向机器实现,是实现高阶,引用透明,归约语义,全惰性泛函程序设计语言的主要技术基础。
其他文献
基于逆向MVD超图的求MVD最小覆盖算法研究
本文详细讨论了逆向MVD超图的性质,给出了伪完全等价准路、完全等价准路、子边等价准路等概念。证明了若干个逆向MVD超图的化简定理,最后给出了基于逆向MVD超图的求MVD最小覆盖算法。
期刊
超图
逆向MVD超图
最小覆盖
算法
inverse hypergraph of MVD pseudo-complete equivalence quasi-p
语音数据库的数据模型及实现技术
本文讨论语音数据库的数据模型及实现技术。语音识别技术是实现真正的人机交互的关键技术,数据库是信息管理的科学方法,语音数据库则是两种技术相结合的产物,是语音处理技术进入实用的途径。
期刊
数据模型
数据库
语音数据库
Data modeldatabasespeech databasespeech recognition.
MIDS/BUAA中模式演进的实现
本文是<<MIDS/BUAA中的模式演进>>一文的续篇,文中描述了MIDS/BUAA模式演进操作的语义,探讨了模式的变化传播对实例及方法(和应用)的影响,论述了演进操作的完全性和有效性,阐述了MIDS/BUAA模式演进的实现途径。
期刊
模式演进
多媒体
智能数据库
schema schema evolution change propagation object database.
从1858年到1906年间的《申报》看近代上海的鸦片吸食环境
近代上海,吸食鸦片是一种"社会风尚"。人们购买、吸食鸦片毫无愧疚感,上层知识分子与下层穷苦市民均参与到这一行列中。鸦片买卖给上海市面带来一片虚假的繁荣。为了可持续性的
期刊
申报
近代上海
鸦片吸食
烟馆
Shen Daily modern Shanghai opium-taking opium den
生态文明概念、内涵、本质的确认及其阐释
生态文明是中国特色社会主义文明体系新的组成要素,相对其他要素文明而言处于生成阶段,仍是一个亟待深入研究和实践的重大课题。理论建设尤其如此。其中,生态文明概念、内涵、本
期刊
生态文明
概念
内涵
本质
阐释
葡萄保护地栽培技术
1保护地栽培的种类目前河北省保护地栽培常见的类型有地膜覆盖、小拱棚、塑料大棚、塑料薄膜日光温室和玻璃温室等。
期刊
保护地栽培技术
葡萄
薄膜日光温室
塑料大棚
地膜覆盖
玻璃温室
河北省
小拱棚
赛普拉斯发布业内最全面的一站式交钥匙开发平台WICED Studio 4
赛普拉斯半导体公司近日宣布推出全新版的WICED(嵌入式设备无线互联平台)Smdio4物联网开发平台,能够在数分钟内实现无线连接。该平台提供了编程界面简单易用的一站式开发环境,适
期刊
开发平台
一站式
赛普拉斯半导体公司
钥匙
嵌入式设备
无线互联
无线连接
编程界面
华天科技5.26亿投建集成电路封装项目
华天科技近日公告,华天科技西安将投资5.26亿元,进行“Fc(Flip Chip,倒装芯片)+WB(Wire Bonding,引线键合)集成电路封装产业化项目”的建设。
期刊
集成电路封装
科技
产业化项目
CHIP
倒装芯片
引线键合
“常善救物,故无弃物”中的生态智慧
"常善救物,故无弃物"一语出自《老子》。这句话告诉我们:如果我们放弃了主体地位,服从于自然万物的规律,充当它们的辅佐者,那么,世间万物都是有用、有价值的,没有什么应该被抛弃
期刊
救弃
自然
老子
utilization and rejection nature Lao Tze
日本研制出电动汽车电池耐热新技术
日本大金工业和日本高度纸工业联合研制m用于电动汽车的锂电池高耐热技术。新技术不需要电池冷却系统,在减少自身电力消耗的同时减轻了车体重量,一次充电行驶距离可提高30—40%
期刊
电动汽车电池
新技术
日本
耐热
行车安全性
冷却系统
车体重量
电力消耗
与本文相关的学术论文