您的位置： 专家智库 > >

童梅

作品数：2 被引量：0H指数：0
供职机构：北京工业大学计算机学院计算机应用技术系更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇逻辑程序
  • 1篇PROLOG
  • 1篇PROLOG...
  • 1篇PROLOG...

机构

  • 2篇北京工业大学

作者

  • 2篇童梅
  • 1篇刘椿年

传媒

  • 1篇计算机研究与...
  • 1篇北京工业大学...

年份

  • 1篇1996
  • 1篇1994
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
逻辑程序的自动模式推导
1996年
本文给出了在逻辑程序抽象解释的理论框架下进行模式推导的方法，并就其中的别名处理问题和定点计算问题进行了详细的讨论，提出了一种正确、有效的别名处理方法以及基于“扩展表”的定点求解算法。该方案已用Ｐｒｏｌｏｇ语言实现。
童梅刘椿年
关键词：逻辑程序PROLOG语言
模式信息在Prolog解释系统中的应用
1994年
给出了一种适用于变量分离型程序的简化合一算法，并就该算法在一个采用结构共享技术实现的Ｐｒｏｌｏｇ解释器中的应用进行了详细的探讨。
童梅
关键词：PROLOG程序
全选 清除 导出
共1页<1>
聚类工具0