INHERITANCE OF SYNCHRONIZATION AND RECOVERY - PROPERTIES IN AVALON/C++

被引：0
|
作者：
DETLEFS, D
HERLIHY, M
WING, J
机构：
来源：
PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK | 1988年
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：B416 / B423
页数：8
相关论文
共 50 条
  • [21] Standard C/C++: Testing C++ library conformance
    Plauger, P.J.
    [J]. C/C++ Users Journal, 2000, 18 (04):
  • [22] C++ for ...
    Stevens, A
    [J]. DR DOBBS JOURNAL, 1999, 24 (08): : 99 - 101
  • [23] HP C++/SOFTBENCH - A DEVELOPMENT ENVIRONMENT FOR C++
    ARMISTEAD, M
    BURNHAM, J
    [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1990, 3 (04): : 82 - &
  • [24] Using Z approach to object-oriented software testing and metrics for C++ inheritance hierarchies
    Wang, CC
    Pai, WC
    Chen, SW
    [J]. INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 13TH INTERNATIONAL CONFERENCE ON COMPUTERS AND THEIR APPLICATIONS, 1998, : 42 - 45
  • [25] PAIRING C AND C++
    RANSOM, JF
    [J]. DR DOBBS JOURNAL, 1994, 19 (04): : 10 - 10
  • [26] C/C++ TEST
    王卫东
    [J]. 电子科技, 2001, (19) : 38 - 38
  • [27] DEVELOPING C++ NLMS - WALKING THE NDS TREE - IN C++
    CAVE, WD
    [J]. DR DOBBS JOURNAL, 1995, 20 (08): : 90 - &
  • [28] Preliminary design of ADL/C++ - A specification language for C++
    Viswanadha, SR
    Sankar, S
    [J]. PROCEEDINGS OF THE SECOND USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES AND SYSTEMS (COOTS), 1996, : 97 - 111
  • [29] The next great migration: From C++ to standard C++
    Stevens, A
    [J]. DR DOBBS JOURNAL, 1998, 23 (09): : 105 - 109
  • [30] C++ Builder与Visual C++的比较
    彭军波
    [J]. 科技信息, 2007, (25) : 350 - 350
12345