您的位置： 专家智库 > >

张荣华

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

合作作者

文献类型

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

领域

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

主题

  • 3篇形式规约
  • 3篇规约
  • 1篇代码
  • 1篇形式规约语言
  • 1篇虚拟机
  • 1篇中间代码
  • 1篇函数式语言

机构

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

作者

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

传媒

  • 1篇软件学报

年份

  • 1篇2001
  • 2篇2000
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
关于函数式语言LFC实现问题的某些研究
该文的研究是关于函数式语言LFC(Language For Context Free Recurisive Function)的实现.LFC是基于上下文无关语言的一种函数式语言,它将上下文无关语言作为其基本的数据类型,并...
张荣华
关键词：形式规约函数式语言虚拟机中间代码
文献传递
基于MLIRF方法的软件原型速成技术研究
董韫美李开德陈海明张瑞岭万战勇陈自明张荣华王泓皓张强黄文集
该项目提出了一种新的软件原型速成技术，即基于MLIRF方法的原型速成技术。该技术区别于其它原型速成技术的特色，是以项目负责人提出的MLIRF方法为基础，使用特殊的可执行规约语言来刻画系统原型，软件规约的语法方面和语义方面...
关键词：
关键词：形式规约
形式规约语言中函数运算的优化被引量：1
2000年
在运行时刻 ,由于某些函数参数的取值会造成一些函数被重复调用 ,这在编译时刻是无法被传统的优化器发现的 .针对这种情况 ,提出一种运行时刻的优化方法 .它通过调用依赖图来消除被重复调用的函数 .
张荣华董韫美
关键词：形式规约语言
全选 清除 导出
共1页<1>
聚类工具0