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 条
  • [1] INHERITANCE OF SYNCHRONIZATION AND RECOVERY PROPERTIES IN AVALON/C++
    DETLEFS, DL
    HERLIHY, MP
    WING, JM
    [J]. COMPUTER, 1988, 21 (12) : 57 - 69
  • [2] USING LARCH TO SPECIFY AVALON/C++ OBJECTS
    WING, JM
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 1076 - 1088
  • [3] USING MULTIPLE INHERITANCE IN C++
    CARGILL, T
    [J]. DR DOBBS JOURNAL, 1992, 17 (12): : S48 - S51
  • [4] ABC++- CONCURRENCY BY INHERITANCE IN C++
    ARJOMANDI, E
    OFARRELL, W
    KALAS, I
    KOBLENTS, G
    EIGLER, FC
    GAO, GR
    [J]. IBM SYSTEMS JOURNAL, 1995, 34 (01) : 120 - 137
  • [5] A PRACTICAL EXAMPLE OF MULTIPLE INHERITANCE IN C++
    WIENER, RS
    PINSON, LJ
    [J]. SIGPLAN NOTICES, 1989, 24 (09): : 112 - 115
  • [6] Design patterns for dealing with dual inheritance hierarchies in C++
    Martin, RC
    [J]. PROCEEDINGS OF THE SECOND USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES AND SYSTEMS (COOTS), 1996, : 143 - 153
  • [7] Software reuse using C++ classes - The question of inheritance
    Lattanzi, M
    Henry, S
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1998, 41 (02) : 127 - 132
  • [8] AN EXAMPLE OF MULTIPLE INHERITANCE IN C++ - A MODEL OF THE IOSTREAM LIBRARY
    SHOPIRO, JE
    [J]. SIGPLAN NOTICES, 1989, 24 (12): : 32 - 36
  • [9] An operational semantics and type safety proof for multiple inheritance in C++
    Wasserrab, Daniel
    Nipkow, Tobias
    Snelting, Gregor
    Tip, Frank
    [J]. ACM SIGPLAN NOTICES, 2006, 41 (10) : 345 - 362
  • [10] Forced inheritance: A new approach for providing orthogonal persistence to C++
    Park, CM
    Whang, KY
    Song, IY
    Navathe, S
    [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1996, 9 (01): : 65 - 71
12345