REASONING ABOUT TIME IN HIGHER-LEVEL LANGUAGE SOFTWARE

被引：134
作者：
SHAW, AC
机构：
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1989年 / 15卷 / 07期
关键词：
D O I：
10.1109/32.29487
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：875 / 889
页数：15
相关论文
共 27 条
  • [1] ALGER LL, 1986, IEEE COMPUT SOC DEC, P224
  • [2] [Anonymous], 1983, THESIS MASSACHUSETTS
  • [3] BAKER TP, 1986, IEEE SOFTWARE MAY, P50
  • [4] BERRY G, 1985, LECT NOTES COMPUT SC, V197, P389
  • [5] Bic L., 1988, LOGICAL DESIGN OPERA
  • [6] CARDELLI L, 1985, P SIGGRAPH 85 ACM SI, V19, P199
  • [7] THOTH, A PORTABLE REAL-TIME OPERATING SYSTEM
    CHERITON, DR
    MALCOLM, MA
    MELEN, LS
    SAGER, GR
    [J]. COMMUNICATIONS OF THE ACM, 1979, 22 (02) : 105 - 115
  • [8] TOWARD REAL-TIME PERFORMANCE BENCHMARKS FOR ADA
    CLAPP, RM
    DUCHESNEAU, L
    VOLZ, RA
    MUDGE, TN
    SCHULTZE, T
    [J]. COMMUNICATIONS OF THE ACM, 1986, 29 (08) : 760 - 778
  • [9] DASARATHY B, 1985, COMMUN ACM, V29, P80
  • [10] HAASE VH, 1985, SYSTEM DESCRIPTION M, P91
123