摘要
状态、输入和输出是Z规范的基础,引入Monad的纯函数式语言特别适合用来实现用Z规范说明的系统。通过将状态、输入和输出封装在一个Monad内,提出一种基于Z规范的纯函数式程序设计方法。
Input, output and state are three basic elements of Z specification. The purely functional language with Monad is an excellent medium for implementation of systems which are specified by Z specification. With input,output and state encapsulated in a monad, a method of the purely functional programming based on Z specification is presented.
出处
《计算机应用与软件》
CSCD
北大核心
2008年第2期117-118,共2页
Computer Applications and Software
