您的位置： 专家智库 > >

张强

作品数：3 被引量：1H指数：1
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文
  • 1篇科技成果

领域

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

主题

  • 3篇形式规约
  • 3篇规约
  • 2篇函数式语言
  • 1篇形式规约语言
  • 1篇匹配方法

机构

  • 3篇中国科学院软...

作者

  • 3篇张强
  • 2篇陈海明
  • 1篇李开德
  • 1篇黄文集
  • 1篇王泓皓
  • 1篇万战勇
  • 1篇张荣华
  • 1篇张瑞岭
  • 1篇陈自明
  • 1篇董韫美

传媒

  • 1篇计算机工程与...

年份

  • 3篇2001
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
LFC语言的模式匹配实现方法
本文的研究工作是关于形式规约语言LFC/(Language For CFRF/)的实现问 题中的一部分。形式规约/(Formal Specification/)是对软件系统所要解决问题的 ...
张强
文献传递
简单模式的一种匹配方法被引量：1
2001年
模式匹配是包括LFC在内的大多数函数式语言都具有的特点。文章在LFC语言现有的模式匹配实现方法的基础上，结合常用的模式匹配树的构造思想，设计了一种模式匹配方法。这种模式匹配方法通过计算给定模式集合的扩展集合来构造模式匹配树。虽然在最坏情况下，该方法与LFC现有实现的空间复杂度一样，但当函数定义是部分构造式，而定义中的非项模式覆盖了较多项时，这种模式匹配方法可以避免LFC语言现有实现中较大的编码空间。这个方法略作修改即可用于复杂的嵌套模式，是一种通用的模式匹配方法。
张强陈海明
关键词：函数式语言形式规约语言
基于MLIRF方法的软件原型速成技术研究
董韫美李开德陈海明张瑞岭万战勇陈自明张荣华王泓皓张强黄文集
该项目提出了一种新的软件原型速成技术，即基于MLIRF方法的原型速成技术。该技术区别于其它原型速成技术的特色，是以项目负责人提出的MLIRF方法为基础，使用特殊的可执行规约语言来刻画系统原型，软件规约的语法方面和语义方面...
关键词：
关键词：形式规约
全选 清除 导出
共1页<1>
聚类工具0