一种基于Z规范的纯函数式程序设计方法  

A METHOD OF THE PURELY FUNCTIONAL PROGRAMMING BASED ON Z SPECIFICATION

作　　者：袁华强[1] 孙永强[2] 

机构地区：[1]东莞理工学院软件研究所,广东东莞523106 [2]上海交通大学计算机科学与工程系,上海200030

出　　处：《计算机应用与软件》2008年第2期117-118,共2页Computer Applications and Software

摘　　要：状态、输入和输出是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.

关 键 词：纯函数式语言 Z规范 MONAD 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论] TP311.11[自动化与计算机技术—计算机科学与技术]