位置：成果数据库 > 期刊 > 期刊详情页
A graph-based generic type system for object-oriented programs
  • ISSN号：1673-7350
  • 期刊名称：Frontiers of Computer Science in China
  • 时间：0
  • 页码：-
  • 相关项目：面向对象程序的形式化规范与验证
作者： We Kei|Zhiming Liu|Shuling Wang|Liang Zhao|
同期刊论文项目
面向对象程序的形式化规范与验证
期刊论文 4 会议论文 14
同项目期刊论文
Confinement framework for encapsulating objects