首页> 中文期刊> 《计算机工程与科学》 >函数式操作系统设计的自动机风格及其策略

函数式操作系统设计的自动机风格及其策略

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文通过对几种函数式操作系统(Functional Operating System,以下简称FOS)模型[1,2,6]的分析,并用统一的自动机观点阐明彼此之间的联系和本质。从而表明,基于自动机风格的FFP程序设计方法论[5]是FOS设计的重要策略,其实质是将FOS描述成一个层次结构的、作用式的自动机网。

著录项

来源
《计算机工程与科学》 |1990年第4期|P.9-16|共8页
作者
章远阳;
展开▼
作者单位

北京大学计算机系;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
自动机; 操作系统设计; 设计方法论; 函数式; 层次结构; 互连性; 命令流; apply; 系统函数; 状态集;

相似文献

中文文献
外文文献
专利

1. 自动机风格在函数式操作系统设计中的应用 [J] . 章远阳 . 计算机应用与软件 . 1991,第003期
2. 固有性顺序算法的函数式风格实现思想 [J] . 章远阳 . 计算机杂志 . 1990,第005期
3. 一种基于组合Monad的纯函数式Lazy I/O操作 [J] . 袁华强 ,王亚强 ,孙永强 . 计算机工程与科学 . 2006,第007期
4. 一种基于组合Monad的纯函数式通道系统操作 [J] . 袁华强 ,孙永强 . 计算机工程与应用 . 2004,第025期
5. 函数式逻辑语言的操作语义 [J] . MOHAMED ,Hamada . 软件学报 . 2001,第009期
6. 一种基于组合Monad的纯函数式文件系统操作 [C] . 袁华强 ,孙永强 . 2003'全国软件与应用学术会议 . 2003
7. 不同专业、年级语言学习风格研究——基于策略培训的学习风格拓展 [A] . 樊淑玲 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号