函数程序设计相关论文
论文题目作者期页码 1987年 通信信号、电路与系统统计量化特性的线性及其在数字滤波器中的应用………………………………………………......
请下载后查看,本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view......
一、前言文献[1]为函数程序设计语言FP奠定了合成逻辑基础,证实了“FP是一种高级的合成逻辑”。至于FFP与合成逻辑的关系,文献[2]......
从函数程序设计的角度对速成原型方法进行研讨,采用形式方法解释其应用上的优劣。并结合林业实例,说明该方法的优越性。......
函数程序设计对减少大型软件系统开发的开销有着较大的潜力,本文讨论了函数程序设计在软件工程中的作用和地位,论述了函数语言作为规......
提出通过测试来证明安全协议的方法。以NS和NSL协议为例,首先将协议形式化为事件序列,协议的性质可以表示为序列上的性质。协议的......
本文证明了在FP系统内,对于含单元元函数h,采为f=p→f。k;h。「f。i,j」、f=p→f。k;......
为了描述知识信息处理系统,人们提出了许多新的程序设计风格,如逻辑程序设计风格、函数程序设计风格、面向规则程序设计风格、面向......
PRFUNLOG语言是基于顺序RFUNLOG语言基础之上开发的一种并行函数/逻辑型程序设计语言,本文介绍了PRFUNLOG系统的设计思想、系统结......
将函数式面向对象设计工具FOOD用于Cruisc控制系统的设计,从而证实了这种工具用于实时系统设计是可行的,并指出在这一方面可能遇到......