| 一种基于Z规范的纯函数式程序设计方法 |
| |
| 引用本文： | 袁华强,孙永强.一种基于Z规范的纯函数式程序设计方法[J].计算机应用与软件,2008,25(2):117-118. |
| |
| 作者姓名： | 袁华强 孙永强 |
| |
| 作者单位： | 1. 东莞理工学院软件研究所,广东,东莞,523106
2. 上海交通大学计算机科学与工程系,上海,200030 |
| |
| 摘 要： | 状态、输入和输出是Z规范的基础,引入Monad的纯函数式语言特别适合用来实现用Z规范说明的系统.通过将状态、输入和输出封装在一个Monad内,提出一种基于Z规范的纯函数式程序设计方法.
|
| 关 键 词： | 纯函数式语言 Z规范 Monad |
| 收稿时间： | 2006-03-21 |
| 修稿时间： | 2006年3月21日 |
A METHOD OF THE PURELY FUNCTIONAL PROGRAMMING BASED ON Z SPECIFICATION |
| |
| Yuan Huaqiang,Sun Yongqiang.A METHOD OF THE PURELY FUNCTIONAL PROGRAMMING BASED ON Z SPECIFICATION[J].Computer Applications and Software,2008,25(2):117-118. |
| |
| Authors: | Yuan Huaqiang Sun Yongqiang |
| |
| Affiliation: | Yuan Huaqiang1 Sun Yongqiang2 ()1(Institute of Software,Dongguan University of Technology,Dongguan 523106,Guangdong,China) ()2(Department of Computer Science , Engineering,Shanghai Jiaotong University,Shanghai 200030,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | Purely functional language Z specification Monad |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
