位置：成果数据库 > 期刊 > 期刊详情页
一个支持规约获取的形式规约语言
  • 期刊名称：计算机学报,
  • 时间：0
  • 页码：25(5), pp.459-466, 2
  • 语言：中文
  • 相关项目：多种类递归函数的求值算法和优化技术研究
作者： 陈海明|董韫美|
同期刊论文项目
多种类递归函数的求值算法和优化技术研究
期刊论文 9 会议论文 6
同项目期刊论文
Yet another meta-language for programming language processing
一种新型递归函数的求值算法研究
一类递归函数的多态类型
基于最小序句子的上下文无关语言句子枚举
Practical type checking of functions defined on context-free languages
An encoding-based method for pattern-matching
基于上下文依赖规则覆盖的句子生成