于尚超
- 作品数：5 被引量：2H指数：1
- 供职机构：解放军理工大学更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 函数式语言泛型特性的研究与实现
- 2012年
- 对于泛型程序设计来说,类型的参数化多态是其理论框架,参数化多态引入了类型变量,使得类型参数化,支持类型上的抽象,从而可以大大提高软件的复用程度。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。在函数式语言上进行泛型的研究与应用,Haskell语言是函数式语言中较为经典的一种语言,它的计算模型简单,语法清晰,易于编写,易于维护,拥有很大的发展空间。利用一些规则对Haskell语言的语法进行相关扩展,同时引入泛型的思想,研究与运用定义泛型函数的方法,在Haskell语言上实现了泛型功能。
- 李阳于尚超王朋
- 关键词：泛型编程函数式程序设计
- O'Caml泛型编程中“泛型抽象”的研究
- 2013年
- 泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性。在O'Caml语言中已经实现了类型标记函数和泛型函数,但泛型函数的类型参数只能是基本类型或实例化类型,不能使用抽象类型。"泛型抽象"是指使用抽象类型作为类型参数的函数定义方法,实现了"泛型编程"类型参数的多样化。文中在O'Caml语言上进行"泛型抽象"的研究,根据规则对O'Caml语言语法进行扩展,并在O'Caml语言中实现了"泛型抽象"函数定义。
- 王朋徐健于尚超
- 关键词：泛型编程函数式程序设计
- 基于GLR的Quotation的自动生成技术
- 2012年
- 代码的自动生成技术的应用范围越来越广,尤其是具有很大灵活性的解决方案。AutoQuotation就是这样一种代码生成技术,所产生的Quotation代码具有独立于平台的词法分析及语法分析程序,但是它的算法是自顶向下的,在实际引用中具有很大的局限性。算法是程序的核心,采用的GLR(generalized LR)分析法,能够处理大部分的上下文无关文法,因而具有很高的实用性。描述一个自动生成系统,该系统能够根据文法自动生成Quotation代码,并自动进行Quotation注册。经测试系统能够处理回溯及左递归。
- 于尚超李阳
- 关键词：引文
- 基于Haskell语言的泛型扩展研究被引量：2
- 2012年
- 泛型即通过参数化类型来实现在同一份代码上操作多种数据类型。泛型编程是一种编程范式,它利用"参数化类型"将类型抽象化,实现灵活的软件复用。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。文中旨在Haskell语言上进行泛型的研究与应用,Haskell语言是一门广为流行的函数式语言,它的计算模型简单,程序语法清晰,易于编写,易于维护。文中利用一些规则对Haskell语言的语法进行扩展,同时引入泛型编程的思想来研究新的函数定义方法,最后在Haskell语言上实现泛型功能。
- 李阳于尚超王朋
- 关键词：泛型编程
- 基于拼凑替换的定理机器证明的研究与实现
- 2012年
- 机器定理证明可以避免人工证明容易出现的低级错误,是人工智能的重要方面,有广泛的应用前景;函数式程序设计的设计思想更加接近于数学,在定理证明方面有天然优势。人们证明逻辑推理的过程通过函数式程序实现,并将其证明的步骤显示出来,采用了逻辑推理机器证明。通过思考人脑在证明定理时的思考方式,给出了一个简单易懂的机器证明的方式。首先将证明的已知和结论形式化,将已知设为start,结果为end,已经证明的公理就是road,那么证明的过程就是从start沿着road到达end的过程。实验表明,逻辑证明通过函数式程序实现,达到了预期目的。
- 于尚超李阳王鹏
- 关键词：机器证明人工智能
