位置：成果数据库 > 会议 > 会议详情页
An encoding-based method for pattern-matching
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：International Symposium on Computing and Information (ISC&I 2004),
  • 语言：英文
  • 成果类型：会议
  • 相关项目：多种类递归函数的求值算法和优化技术研究
作者： 陈海明|
同会议论文项目
多种类递归函数的求值算法和优化技术研究
期刊论文 9 会议论文 6
同项目会议论文
Facilitating formal specification acquisition by using recursive functions on context-free languages
Incorporating static type-checking into functions defined on context-free languages
Modeling distributed system: architecture and process
Modeling and prototyping of software systems
Statically typed XML processing by the LFC language