云南高校图书馆联盟文献共享服务平台- HASKELL

HASKELL: 作品数：30被引量：30H指数：3; 导出分析报告; 相关领域：自动化与计算机技术天文地球更多>>; 相关作者：张迎周赵荣彩庞建民陈光辉董陇军更多>>; 相关机构：南京邮电大学吉林大学解放军信息工程大学中山大学更多>>; 相关期刊：《计算机教育》《计算机与数字工程》《计算机与现代化》《信息工程大学学报》更多>>; 相关基金：国家自然科学基金江苏省高校自然科学研究项目中央高校基本科研业务费专项资金江苏省“青蓝工程”优秀青年骨干教师培养对象更多>>

纯函数式静态语言的特性与未来: 《山西科技》2018年第4期84-86,共3页徐向超; Haskell是一款正在数学家当中渐渐流行起来的语言,正如有的数学家曾说:"在我的很多项目当中,有一种迹象渐渐地表明,在我平时日复一日的数学论述中所使用的表达式与在Haskell的代码中撰写的表达式之间仅仅存在相当短的距离"。简要描述了...; 关键词：函数式静态语言 HASKELL 惰性求值类型推论

新一代编程语言Python、MATLAB和Haskell被引量：4: 《石油工业计算机应用》2015年第4期7-13,3,共7页王宏琳; 新一代编程语言为科学与工程计算提供新型的编程工具。Python语言是通用解释型、具有动态数据类型的高级编程语言。MATLAB是用于数值计算、科学仿真和数据可视化的高级技术计算语言和交互式环境。Haskell语言是一种功能性纯函数式编程...; 关键词：PYTHON MATLAB HASKELL 编程语言

数据流语言中数据频率的自动化处理技术: 《计算机系统应用》2015年第3期9-17,共9页刘桂林张昱; 数据流分析和处理是计算机应用最常见的工作之一,实际系统常常包括不同频率的数据流,而现有的程序语言要求在程序中对数据频率进行显式的处理.旨在提出一种新型的变频数据流处理框架,针对基本的频率运算进行自动化处理.我们基于函数式...; 关键词：依赖类型系统数据流语言类型推断 HASKELL SIMULINK

面向访问验证保护级的安全VMM形式化原型系统设计和实现: 《计算机科学》2010年第12期85-90,共6页易秋萍刘剑武术; 中国科学院知识创新工程重要方向项目“面向访问验证保护级的安全操作系统原型系统研发(KGCX2-YW-125)”;北京市科技创新项目“安全可信操作系统研制(Z08000102000801)”;计算机科学国家重点实验室开放课题“面向高等级安全操作系统的形式化保证技术研究(SYSKF0909)”资助; 操作系统是计算机软件系统的基础,具有控制逻辑复杂、安全性和可靠性要求高等特点。在国内外高等级安全操作系统的规范和标准中,都提出了对内核进行形式化规范和验证的要求。近年来国内相关研究机构相继开发了满足GB 17859-1999"强制访...; 关键词：安全操作系统 VMM HASKELL MONAD 形式化原型

纯粹之美——浅谈纯函数式语言Haskell: 《程序员》2010年第8期83-85,共3页韩祝鹏; 程序的江湖中总是风水轮流转，前些年面向对象编程（OOP）当道，这几年函数式编程（FP）渐渐渗透进主流。莫要感叹世事变化莫测，让我们抛开纷杂的表象，追本溯源，来一次寻根之旅，领略下最纯粹的FP语言Haskell的美妙。; 关键词：纯函数式语言面向对象编程程序

使用Haskell语言编程: 《国外科技新书评介》2008年第4期14-14,共1页Graham Hutton 胡光华; T·Hoared在1980年美国计算机协会图灵奖演说中说道“……存在着两种构建软件设计的方法，一种方法是使它非常地简单，很明显不存在缺陷；另一种方法是使它这样地复杂，不存在明显的缺陷，而第一种方法是更加困难的”。本书是有关编程...; 关键词：语言编程软件设计编程方法图灵奖计算机缺陷

High-level distributed coordination via distributed Haskell被引量：1: 《通讯和计算机（中英文版）》2007年第5期1-7,共7页ZHANG Ying-zhou ZHANG Wei-feng ZHOU Guo-qzang QIAN Jun-yan; Acknowledgements： This work is supported in part by the National Natural Science Foundation of China （No. 60503020）, the Natural Science Research Plan for Jiangsu High School （No 05KJD520151）, and 0pening Foundation of Jiangsu Key Laboratory of Computer Information Processing Technology in Soochow University, Guangxi Natural Science Foundation of China （No. 0542036）.; 关键词：分布式调和函数语言面向对象分布式语言格拉斯哥分布式 Haskell编程

Haskell:一种现代纯函数式语言被引量：7: 《南京邮电大学学报（自然科学版）》2007年第4期13-18,23,共7页张迎周张卫丰; 国家自然科学基金(60503020)和江苏省高校自然科学基金(05KJD520151)资助项目; 随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何提高最终程序正确工作的可信度。函数式程序设计语言为解决这...; 关键词：HASKELL 函数式语言多态类型高价函数惰性计算

二叉查找树的函数式语义实现: 《计算机系统应用》2007年第7期103-104,94,共3页谭杰锋; 二叉查找树是数学建模、算法分析中常用的数据结构。函数式语义具有无副作用特性与类型高度抽象能力,用其表达数学模型简练明了。本文采用属于函数式语义的类haskell伪码实现了二叉查找树,并进行了相关算法分析。; 关键词：二叉查找树函数式语义 HASKELL

函数式程序范式在语义web中的应用被引量：1: 《中国科技信息》2006年第24期79-79,87,共2页李向阳连小绮; 华侨大学科研基金资助项目(04HZR18); 本文对语义web应用的关键特性和纯函数式编程范式下的知识表示、推理和编程的特性进行了对比分析。从理论分析和实验结果都表明:相对于目前广泛应用的基于状态和过程的程序设计范式,纯函数式编程范式在计算特性方面与语义web的要求更贴...; 关键词：纯函数式程序设计语义WEB HASKELL

HASKELL