DATA FLOW ANALYSIS IN PRESENCE OF PROCEDURE CALLS

被引：6

|

作者：

LOMET, DB ^{[1
]}

机构：

[1] IBM CORP,THOMAS J WATSON RES CTR,AUTOMAT PROGRAMMING GRP,YORKTOWN HTS,NY 10598

来源：

IBM JOURNAL OF RESEARCH AND DEVELOPMENT | 1977年 / 21卷 / 06期

关键词：

D O I：

10.1147/rd.216.0559

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：559 / 571

页数：13

相关论文

共 50 条

[21] Shared Memory Remote Procedure Calls
Chesterfield, Jon
50TH INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING WORKSHOP PROCEEDINGS - ICPP WORKSHOPS '21, 2021,
[22] FAILURE TRANSPARENCY IN REMOTE PROCEDURE CALLS
RAVINDRAN, K
CHANSON, ST
IEEE TRANSACTIONS ON COMPUTERS, 1989, 38 (08) : 1173 - 1187
[23] NETWORKS - IN PRAISE OF REMOTE PROCEDURE CALLS
NANCE, B
BYTE, 1991, 16 (03): : 338 - 340
[24] ICARUS - A SYSTEM FOR REMOTE PROCEDURE CALLS
TEUFEL, B
ANGEWANDTE INFORMATIK, 1985, (07): : 291 - 295
[25] Invariant Checking for Programs with Procedure Calls
Godoy, Guillem
Tiwari, Ashish
STATIC ANALYSIS, 2009, 5673 : 326 - +
[26] REASONS FOR ROLL CALLS - EXPLORATORY ANALYSIS WITH ARGENTINE DATA
FENNELL, LC
AMERICAN JOURNAL OF POLITICAL SCIENCE, 1974, 18 (02) : 395 - 403
[27] The complexity gap in the static analysis of cache accesses grows if procedure calls are added
David Monniaux
Formal Methods in System Design, 2021, 59 : 1 - 20
[28] The complexity gap in the static analysis of cache accesses grows if procedure calls are added
Monniaux, David
FORMAL METHODS IN SYSTEM DESIGN, 2021, 59 (1-3) : 1 - 20
[29] RASPING CALLS OF DUNNOCK IN PRESENCE OF CUCKOO
RADFORD, AP
BRITISH BIRDS, 1985, 78 (07): : 353 - 354
[30] Inverse analysis procedure to determine flow stress and friction data for finite element modeling of machining
Franchi, Rodolfo
Del Prete, Antonio
Umbrello, Domenico
INTERNATIONAL JOURNAL OF MATERIAL FORMING, 2017, 10 (05) : 685 - 695

← 1 2 3 4 5 →