REASONING ABOUT TIME IN HIGHER-LEVEL LANGUAGE SOFTWARE

被引：134

作者：

SHAW, AC

机构：

来源：

关键词：

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 [J].

CHERITON, DR ;

MALCOLM, MA ;

MELEN, LS ;

SAGER, GR .

[8] TOWARD REAL-TIME PERFORMANCE BENCHMARKS FOR ADA [J].

CLAPP, RM ;

DUCHESNEAU, L ;

VOLZ, RA ;

MUDGE, TN ;

SCHULTZE, T .

[9]

DASARATHY B, 1985, COMMUN ACM, V29, P80

[10]

HAASE VH, 1985, SYSTEM DESCRIPTION M, P91