HASKELL相关论文
程序切片是一种重要的程序分析理解方法，用于从源程序中抽取对程序中特定点上的特定变量有影响的语句和谓词，组成新的程序(称作切片)......
软件测试作为软件开发过程中的重要一环，对于保障软件质量起着至关重要的作用，而测试数据生成方法的J下确性和有效性，又是一个成功测......
闭半环是在半环上添加了传递闭包运算符而得到的代数结构.闭半环为计算机科学理论中多个看起来不相关的问题提供了统一的求解理论......
二叉查找树是数学建模、算法分析中常用的数据结构。函数式语义具有无副作用特性与类型高度抽象能力，用其表达数学模型简练明了。本......
数据流分析和处理是计算机应用最常见的工作之一,实际系统常常包括不同频率的数据流,而现有的程序语言要求在程序中对数据频率进行......
操作系统是计算机软件系统的基础,具有控制逻辑复杂、安全性和可靠性要求高等特点。在国内外高等级安全操作系统的规范和标准中,都......
操作系统是计算机软件系统的基础,具有控制逻辑复杂、安全性和可靠性要求高等特点。在国内外高等级安全操作系统的规范和标准中,都......
函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足。作为Monads的范畴论对偶概念,Comonads理论可以......
函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足。作为Monads的范畴论对偶概念,Comonads理论可以......
惰性计算特性是函数式程序设计语言Haskell的重要特征，在开发软件时利用Haskell的惰性计算特性解决了其它语言较难解决的一些问题，但......
惰性计算特性是函数式程序设计语言Haskell的重要特征，在开发软件时利用Haskell的惰性计算特性解决了其它语言较难解决的一些问题，但......
新一代编程语言为科学与工程计算提供新型的编程工具。Python语言是通用解释型、具有动态数据类型的高级编程语言。MATLAB是用于数......
新一代编程语言为科学与工程计算提供新型的编程工具。Python语言是通用解释型、具有动态数据类型的高级编程语言。MATLAB是用于数......
As the development of web service (WS), applications based on web services (WS), which are convent and platform-independ......
本文对语义web应用的关键特性和纯函数式编程范式下的知识表示、推理和编程的特性进行了对比分析。从理论分析和实验结果都表明：相......
结合程序切片技术,文中提出了一种基于函数依赖图的构件抽取方法。先讨论函数依赖图中的几种依赖关系及其表示方法,再对由源码分析......
模型检测的研究大致包括以下内容：模态逻辑、模型检测算法及其空间效率的改进。以NS认证协议的模型形式化与分析为例，对模型检测的思......
随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂......
针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序......
Haskell语言的高阶特性使笔者在开发软件时受益匪浅,但很遗憾,目前国内同行应用这一语言的人非常少。本文介绍Haskell语言的高阶特......
<正>2008年在Portland的开源大会(OSCON)上,《Perl Best Practices》和《Perl Hacks》的作者Damian Conway,接受了Terry Camerleng......
<正>经历了北京奥运会之殇的阿迪达斯能否通过伦敦奥运会重塑第一?不管怎样,度过了漫长修复期的阿迪达斯收获颇多,并且再次上阵。......
图版13 宣国英译刘迟校(七)19861:62转59 宣国英徐一维译(九)(19864:65—67 宣国英译徐一维校(十)1987l:55—57 卢勇、徐一维译(十......
<正> 世界上有许多英语教师要讲授与工作或职业有关的英语。当学员是成年人并对英语学习具有共同的专业兴趣时,ESP教学法往在最能......
通过几种不同范型程序设计语言(Ada、Haskell、Prolog、Smalltalk)的简要介绍,探讨、分析和研究较常见的递归算法思想,从而了解不......
Haskell语言的列表内涵特性使笔者在开发软件时的代码编写量成倍缩减,但如何充分利用这一特性,讨论的文章非常少。该文介绍Haskell......
计算机数学，又称离散数学，是计算机学科的重要专业基础课程。在实际教学中发现，计算机科学专业的学生对该课程感兴趣的不多，多数畏惧其......
