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

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

Coverage-Based Fault Localization in Haskell: 《Journal of Computer Science & Technology》2025年第1期158-177,共20页Feng Li Guo-Qing Wang Meng Wang Dan Hao; Fault localization is to identify faulty program elements.Among a large number of fault localization approaches in the literature,coverage-based fault localization,especially spectrum-based fault localization(SBFL),ha...; 关键词：DEBUGGING fault localization HASKELL programming paradigms

A Grammatical Approach of Multi-Localization of GUIs: Application to the Multi-Localization of the Checkers Game GUI: 《Journal of Software Engineering and Applications》2018年第11期552-567,共16页Maurice Tchoupé Tchendji Freddy-Viany Tatou Ahoukeng; By proposing tools that help for the accomplishment of tasks in almost all sectors of activities, computer science has revolutionized the world in a general way. Nowadays, it addresses the peculiarities of peoples thr...; 关键词：GUIs Context-Free GRAMMARS Multi-Localization Abstract Syntax Tree and Its Interpretations XML GUI Description Language HASKELL

纯函数式静态语言的特性与未来: 《山西科技》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年第12期2671-2674,共4页罗奇鸣; MOE-MS多媒体计算与通信实验室基金项目(07122807)资助; 闭半环是在半环上添加了传递闭包运算符而得到的代数结构.闭半环为计算机科学理论中多个看起来不相关的问题提供了统一的求解理论框架.有不少图算法问题可以通过对图的邻接矩阵在特定的闭半环上计算闭包而求解.本文分析了三个典型的问题...; 关键词：闭半环图算法闭包 HASKELL

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

Comonads理论及其在函数式程序语言Haskell中的应用: 《计算机科学》2011年第7期144-147,156,共5页苏锦钿余珊珊; 2010年高校博士点科研基金-新教师类(20100172120043);华南理工大学中央高校基本科研业务费专项资金(2009ZM0158)资助; 函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足。作为Monads的范畴论对偶概念,Comonads理论可以有效地提高Haskell对上下文依赖计算的描述能力。首先给出Comonads的范畴论定义和性质,以及Comonads在Has...; 关键词：Comonads 函数式程序语言 HASKELL 上下文依赖计算范畴论

一种基于函数依赖图的构件抽取方法被引量：3: 《南京邮电大学学报（自然科学版）》2010年第6期78-84,共7页符炜张迎周孙无极杨庚; 国家自然科学基金(60703086;60873231;60973046;60903026);江苏省自然科学基金(BK2009426);江苏省高校自然科学基金(10KJB520015);南京邮电大学樊登计划(NY210009)资助项目; 结合程序切片技术,文中提出了一种基于函数依赖图的构件抽取方法。先讨论函数依赖图中的几种依赖关系及其表示方法,再对由源码分析所得的函数依赖图进行切片操作得到依赖子图,并结合源码生成最终切片代码,即为构件抽取的结果。此基础上...; 关键词：构件抽取函数依赖图程序切片内聚度和耦合度 HASKELL

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

Web Service Generation through Program Slicing: 《International Journal of Communications, Network and System Sciences》2010年第11期877-887,共11页Yingzhou Zhang Wei Fu Geng Yang Lei Chen Weifeng Zhang; As the development of web service (WS), applications based on web services (WS), which are convent and platform-independent, have become increasingly popular in recent years. However, how to identify, generate and com...; 关键词：Web Service Arogram SLICING WS GENERATION Function DEPENDENCE GRAPH HASKELL

HASKELL