期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

函数式程序的离散式延迟输入输出流

A DISCRETE LAZY STREAM FOR INPUT AND OUTPUT IN FUNCTIONAL LANGUAGES

下载PDF

导出

摘要函数式程序的离散式延迟输入输出流廖湖声，吴晶（北京工业大学计算机学院北京１０００４４）ＡＤＩＳＣＲＥＴＥＬＡＺＹＳＴＲＥＡＭＦＯＲＩＮＰＵＴＡＮＤＯＵＴＰＵＴＩＮＦＵＮＣＴＩＯＮＡＬＬＡＮＧＵＡＧＥＳ￥ＬｉａｏＨｕｓｈｅｎｇａｎｄＷｕＪｉｎｇ（Ｃｏｍ... Abstract

作者廖湖声吴晶

机构地区北京工业大学计算机学院

出处《计算机学报》 EI CSCD 北大核心 1995年第7期554-557,共4页 Chinese Journal of Computers

基金国家自然科学基金北京市自然科学基金

关键词函数式程序函数式语言输入输出流延迟

分类号 TP312 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献1

1廖湖声，程序设计语言研究与发展，1994年

1宋凯,廖湖声.函数式语言的集合描述方法及其实现算法[J].软件学报,1996,7(A00):436-440.
2廖湖声.函数式程序的分层λ抽象[J].计算机学报,1989,12(12):892-899. 被引量：2
3施智敏,孙永强.函数式程序的调试及跟踪[J].计算机应用与软件,1991,8(4):18-23.
4李景文,吕世胜.利用离散式I/O提高计算机的各种资源利用率[J].鞍钢技术,1990(1):26-30.
5姚春玲,孙永强.一种基于算法骨架的函数式程序变换技术[J].计算机科学,1995,22(2):11-16.
6那罡.纸上的虚拟化[J].中国计算机用户,2006(50):58-58.
7李向阳,连小绮.函数式程序范式在语义web中的应用[J].中国科技信息,2006(24):79-79. 被引量：1
8袁华强,孙永强.一种基于Z规范的纯函数式程序设计方法[J].计算机应用与软件,2008,25(2):117-118.
9丁志义,宋国新,邵志清.命令的操作语义在类型系统中的一种表示[J].小型微型计算机系统,2006,27(7):1285-1288.
10廖湖声.完全参数化函数式抽象机——函数式语言的实现模型[J].计算机工程与设计,1992,13(2):45-49.

计算机学报

1995年第7期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部