位置：成果数据库 > 期刊 > 期刊详情页
Interference Verification for Structural Parallel Programs
  • ISSN号：1796-217X
  • 期刊名称：Journal of Software
  • 时间：2012.8.1
  • 页码：1889-1896
  • 相关项目：用户设计意图的程序标注及其类型验证技术研究
作者： Yang Zhao|
同期刊论文项目
用户设计意图的程序标注及其类型验证技术研究
期刊论文 7 会议论文 1
同项目期刊论文
可变对象所有权及其许可类型表述
Ownership models founded on permissions
Indicating Key Characteristics of Design Patterns based upon Annotations
Mutable object ownership with permission-based interpretation
基于关联规则的软件多故障定位技术
一种基于扩展类控制流图的类测试技术