位置：成果数据库 > 会议 > 会议详情页
Facilitating formal specification acquisition by using recursive functions on context-free languages
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：The 3rd International Conference on Software Methodologies, Tools and Techniques (SoMet2004), Septem
  • 作者或编辑：3448
  • 语言：英文
  • 成果类型：会议
  • 相关项目：多种类递归函数的求值算法和优化技术研究
作者： 陈海明|董韫美|
同会议论文项目
多种类递归函数的求值算法和优化技术研究
期刊论文 9 会议论文 6
同项目会议论文
An encoding-based method for pattern-matching
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