【摘 要】
：
该文给出从函数式语言Haskell到过程式语言C的转换技术.文中详细地介绍了转换中涉及的几项关键技术,包括:对于高阶函数定义,以及函数的Curry化应用,采用实例化的方法,将其转
论文部分内容阅读
该文给出从函数式语言Haskell到过程式语言C的转换技术.文中详细地介绍了转换中涉及的几项关键技术,包括:对于高阶函数定义,以及函数的Curry化应用,采用实例化的方法,将其转换成-阶函数定义,和非Curry化的函数应用;对Let递归定义的变量,进行依赖分析,将其变成顺序化的变量定义;将List comprehension表达式,转换成循环嵌套结构的方法等.此外,对Haskell的多态类型系统,提出了data定义的代数数据类型,及其相关的模式匹配函数,到相应的C++类模板,和函数模板的转换算法.
其他文献
随着Web2.0技术以及智能移动终端的快速发展，以微博、微信和各种问答社区为代表的社交类应用出现了爆发式的增长。在这些社区中，用户们每天都会发布大量的信息，而由于使用时间碎
该文主要研究PMML语言本身和数据挖掘系统如何支持PMML语言.首先介绍了数据挖掘的概念及研究现状,由此提出了PMML语言的意义.而后简要介绍了作为PMML语言的基础的XML语言,并
该文中讨论技术的目的是通过对纹理图像的合并实时地生成具有真实感的三维视景,解决纹理映射中合并纹理图像的关键技术.纹理映射是提高计算机三维图形真实感的有力手段.纹理
可扩展置标语言XML(eXtensible Markup Language)是由W3C(World Wide Web Consortinum)组织于1998年2月制订的一种面向Internet应用的置标语言。作为对SGML(标准通用置标语言
该文主要研究如何在非专用机群系统中实现进程迁移的基本机制及其相关策略.该论文按研究内容可以划分为两大部分:进程迁移实现机制的研究及其迁移支持的动态负载平衡的研究.
国内外对于表情的研究是最近几年才发展起来的.目前的研究大多是基于静止和局部化的FACS(Facial Action Coding System)编码,脸部运动的分析是基于运动模板,表情的识别也是基
该文的着眼点在于试图利用机器学习的原理来解决信息检索中的人机交互问题并做了以下几方面的工作:对于在线交互,该文提出了一种新的相关反馈算法,并在CBIR系统中得到成功的
本文详细介绍了作者通过对目前数据库访问技术存在的问题进行研究后，设计实现的一个可以跨多种数据库平台进行访问的通用数据库管理工具。 在目前的数据库环境下存在着一个
该文研究了虚拟现实技术及其在分子结构三维可视化上的应用,对国内外的现状进行了介绍、研究、分析和比较,并结合中学化学教育的特点,设计了一个基于虚拟现实技术的中学化学
该文以机器学习、进化计算和上下文无关文法为背景,通过理论和实践相结合,在对遗传程序设计方法全面了解和对其模式理论分析的基础上,着重研究了个体表示、相应的遗传操作和