英汉
汉语
更多
This paper discusses the definition of a complete functional I/O file system based on the stale transformer. Using a nondeterministic monad, we describe the process networks of the operating system, giving the semantics of the file system.
英
美
释义
本文通过状态转换器来定义I/O的文件系统,并用非确定性monad描述了操作系统的进程网,从而给出了文件系统的语义。
以上内容独家创作,受著作权保护,侵权必究
海词词典,十七年品牌
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2025 海词词典(Dict.cn)
立即下载
立即下载