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