您的位置： 专家智库 > >

宋群

作品数：2 被引量：0H指数：0
供职机构：江西师范大学计算机科学系更多>>
发文基金：江西省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 2篇数据类
  • 2篇数据类型
  • 2篇抽象数据
  • 2篇抽象数据类型
  • 1篇代数
  • 1篇语义
  • 1篇数据结构
  • 1篇程序设计

机构

  • 2篇江西师范大学

作者

  • 2篇宋群
  • 2篇聂承启

传媒

  • 1篇江西师范大学...
  • 1篇计算机科学

年份

  • 1篇1994
  • 1篇1993
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
抽象数据类型的代数方法研究
1993年
抽象数据类型是实现面向对象程序设计方法的有力工具.本文的目的在于利用抽象代数结构来描述抽象数据类型并给出它的数学含义;同时,指出任意可见标志Σ的一个抽象数据类型是一个Σ一计算结构的同构类,从而在基本项 T(Σ)上的等价概念基础上,得出了抽象数据类型与有关计算结构等价的一系列结论.
宋群聂承启杨茵
关键词：抽象数据类型程序设计数据结构
代数规范描述及其语义的研究
1994年
用代数规范描述来描述抽象数据类型的基本思想是用它的标记和特征性质来说明抽象数据类型,它们的性质可用多类逻辑形式来表示,通常为受限的一价逻辑。
宋群聂承启
关键词：抽象数据类型语义
全选 清除 导出
共1页<1>
聚类工具0