函数式程序设计相关论文
为了使广大读作者能方便快捷地查阅本刊创刊以来的论文题目然后根据这些论文题目查阅论文我们从2000年第6期开始将原成都电讯工程......
软件测试作为软件开发过程中的重要一环，对于保障软件质量起着至关重要的作用，而测试数据生成方法的J下确性和有效性，又是一个成功测......
第一期对数计算机····················································......
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view......
泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同.泛型编程......
本文讨论了常量函数不一定相同的二元非线性冗余函数方程组的展开式解，其中针对未知函数的４种不同的位置分别进行了求解，得到了二元三......
对于泛型程序设计来说，类型理论中的参数化多态是其理论框架，因为参数化多态引入了类型变量，使得类型参数化，从而完全支持类型上的抽象......
泛型编程旨在编写一般化并可重复使用的算法，主要目的是提高程序的复用性，其效率与针对某特定数据类型而设计的算法相同。泛型编程可......
为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用.为了创造一......
对于泛型程序设计来说，类型的参数化多态是其理论框架，参数化多态引入了类型变量，使得类型参数化，支持类型上的抽象，从而可以大大提高软......
从瀑布式程序设计的角度，综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型，包括需求形式化建模与验证、屏蔽设计错误的多......
目前被人们广泛采用的处理函数式Ｉ／Ｏ的机制有三种，ＭｏｎａｄＤｉａｌｏｇｕｅ，ＣＰＳ，本文采用ＣＣＳ的理论和方法，把互模拟等价作为Ｉ／Ｏ程序的相等关系，描述了这三种Ｉ／Ｏ机制的操作语义，推......
本文讨论了一类常量函数不一定相同的混合型冗余方程组的求解，依据程序依正交系展开的理论与方法，将ｎ－线性方程的求解进行了推广，使其应......
