您的位置： 专家智库 > >

金立群

作品数：4 被引量：0H指数：0
供职机构：复旦大学计算机科学技术学院更多>>
发文基金：国家教育部博士点基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇会议论文
  • 1篇期刊文章

领域

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

主题

  • 3篇程序设计
  • 2篇程序语言
  • 1篇代数规范
  • 1篇语义
  • 1篇语义分析
  • 1篇软件工程
  • 1篇设计环境
  • 1篇数据类
  • 1篇数据类型
  • 1篇人工智能
  • 1篇专家系统
  • 1篇自动化
  • 1篇自动化系
  • 1篇自动化系统
  • 1篇非线性
  • 1篇CCD
  • 1篇C语言
  • 1篇FSA

机构

  • 4篇复旦大学

作者

  • 4篇金立群
  • 2篇钱家骅
  • 1篇孙超
  • 1篇郑勇
  • 1篇陈锋
  • 1篇徐智晨
  • 1篇洪梅

传媒

  • 1篇计算机学报
  • 1篇第四次全国软...
  • 1篇全国青年计算...
  • 1篇中国计算机学...

年份

  • 1篇1996
  • 1篇1992
  • 1篇1991
  • 1篇1987
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
交互式程序设计环境中增量语义分析的实现
式程序设计环境是软件工程领域中一个新兴的研究分支，目前正受到越来越广泛的重视，该文描述了基于非局部属性计值实现增量的语义分析的有效途径。通过引进非局部依赖关系，克服了传统的局部属性方法的局限性，避免了大量的复制规则链，从...
郑勇孙超金立群
关键词：程序设计语义分析
软件自动化系统FSA
钱家骅金立群洪梅
关键词：软件工程程序设计人工智能专家系统自动化
非线性代数规范的直接实现技术
1996年
代数规范（ＡｌｇｅｂｒａｉｃＳｐｅｃｉｆｉｃａｔｉｏｎ）是支持软件规格说明和设计的一种有效的方法．代数规范的直接实现技术（将一个代数规范转换为一个程序设计语言的具体实现的技术）是该研究领域的一个主要分支，目前这方面的研究基本上局限于线性代数规范．本文介绍一个实现非线性代数规范的转换过程，从该过程可自然地导出针对不同程序设计语言的转换系统．我们已实现了一个基于Ｐａｓｃａｌ语言的转换系统．
金立群钱家骅
关键词：非线性代数规范数据类型程序语言程序设计
面向C语言的程序编码与排错工具CCD
金立群陈锋徐智晨
关键词：程序语言
全选 清除 导出
共1页<1>
聚类工具0