黄文集
- 作品数：5 被引量：5H指数：1
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 基于最小序句子的上下文无关语言句子枚举被引量：4
- 2004年
- 形式规约获取系统SAQ和一些形式化验证系统中常常需要枚举上下文无关语言的句子 ,现有的枚举方法较少且效率较低 以上下文无关语言L(G)的最小序句子和最大序句子为基础 ,从最小序句子开始按照一定的顺序扫描字符串 ,直至扫描到最大序句子为止 ,对被扫描的字符串进行判断取舍 在扫描的过程中采用削减和前瞻策略 ,很大程度上减少了被扫描的字符串个数 ,可以取得较好的时空性能 实验数据表明 。
- 黄文集
- 关键词：上下文无关语言
- 新型递归函数的高效定义手段和求值技术
- 陈海明金蓓弘黄文集沈扬吴端仪
- 以上下文无关语言上的递归函数理论为基础的多种类递归函数，是为方便直接地表述问题求解而发展的一个新型数学工具，可广泛用于软件设计、算法研究和编程语言等方面。缺乏实用有效的算法目前是制约其走向实际应用的瓶颈。该项目研究的主要...
- 关键词：
- 关键词：递归函数
- 一类递归函数的多态类型被引量：1
- 2004年
- 以上下文无关语言上的递归函数为基础的语言LFC(languageforcontextfreerecursivefunction)是一种形式规约语言,适于处理短语结构.LFC也是函数式语言,具有函数式语言的许多特点.LFC已经在形式规约获取系统SAQ(specificationacquisitionsystem)中实现,为其最初设计的类型系统不支持多态类型.引入类型变量和相应的类型检查方法,就可以将其类型系统扩充为多态类型系统.对多态类型系统实现中的一些问题也进行了讨论.在实现多态之后,LFC的灵活性将得到增强,从而会为其应用创造更为有利的条件.
- 黄文集
- 关键词：函数式语言多态递归函数
- 基于MLIRF方法的软件原型速成技术研究
- 董韫美李开德陈海明张瑞岭万战勇陈自明张荣华王泓皓张强黄文集
- 该项目提出了一种新的软件原型速成技术，即基于MLIRF方法的原型速成技术。该技术区别于其它原型速成技术的特色，是以项目负责人提出的MLIRF方法为基础，使用特殊的可执行规约语言来刻画系统原型，软件规约的语法方面和语义方面...
- 关键词：
- 关键词：形式规约
- 形式规约语言LFC的实现和应用研究
- LFC是以上下文无关语言上的递归函数(CFRF)理论为基础的形式规约语言,能较好地支持形式规约的获取和检验.同时LFC也是一种函数式语言,具有良好的数学基础、引用透明、无副作用、模式匹配等特点.该文工作主要是研究形式规约...
- 黄文集
- 关键词：递归函数编译器形式规约语言中间代码
- 文献传递
