HASKELL

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

检索结果分析

结果分析中...
选择条件：
  • 作者=张迎周x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
函数编程技术在计算机数学教学中的应用探讨被引量：3
《教育与教学研究》2011年第9期76-78,82,共4页张迎周 
国家自然科学基金面上项目"基于单子技术的网构软件构件模型及其演化"(编号:60973046);江苏省高校自然科学基金(10KJB520015);江苏省"青蓝工程"优秀青年骨干教师项目;南京邮电大学计算机学院教改项目(JSJ09021)等资助
计算机数学,又称离散数学,是计算机学科的重要专业基础课程。在实际教学中发现,计算机科学专业的学生对该课程感兴趣的不多,多数畏惧其概念多、理论强且抽象。利用一种函数式程序设计语言(Haskell)辅助学生进行计算机数学中相关概念理...
关键词：计算机数学 函数式编程 HASKELL 代数系统 
一种基于函数依赖图的构件抽取方法被引量：3
《南京邮电大学学报（自然科学版）》2010年第6期78-84,共7页符炜 张迎周 孙无极 杨庚 
国家自然科学基金(60703086;60873231;60973046;60903026);江苏省自然科学基金(BK2009426);江苏省高校自然科学基金(10KJB520015);南京邮电大学樊登计划(NY210009)资助项目
结合程序切片技术,文中提出了一种基于函数依赖图的构件抽取方法。先讨论函数依赖图中的几种依赖关系及其表示方法,再对由源码分析所得的函数依赖图进行切片操作得到依赖子图,并结合源码生成最终切片代码,即为构件抽取的结果。此基础上...
关键词：构件抽取 函数依赖图 程序切片 内聚度和耦合度 HASKELL 
Haskell:一种现代纯函数式语言被引量：7
《南京邮电大学学报（自然科学版）》2007年第4期13-18,23,共7页张迎周 张卫丰 
国家自然科学基金(60503020)和江苏省高校自然科学基金(05KJD520151)资助项目
随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何提高最终程序正确工作的可信度。函数式程序设计语言为解决这...
关键词：HASKELL 函数式语言 多态类型 高价函数 惰性计算 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部