STATIC VERIFICATION OF PROCEDURE CALLS

被引：0

|

作者：

SAMOILOV, VY

机构：

来源：

PROGRAMMING AND COMPUTER SOFTWARE | 1984年 / 10卷 / 03期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

COMPUTER SOFTWARE

引用

收藏

页码：134 / 139

页数：6

相关论文

共 50 条

[1] A framework for the static verification of API calls
Spinellis, Diomidis
Louridas, Panagiotis
JOURNAL OF SYSTEMS AND SOFTWARE, 2007, 80 (07) : 1156 - 1168
[2] 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
[3] 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
[4] CALCULATING WITH PROCEDURE CALLS
BIJLSMA, A
INFORMATION PROCESSING LETTERS, 1993, 46 (05) : 211 - 217
[5] POLYMORPHISM AND GENERALIZED PROCEDURE CALLS
RUGGIU, G
REVUE TECHNIQUE THOMSON-CSF, 1978, 10 (04): : 681 - 704
[6] IMPLEMENTING REMOTE PROCEDURE CALLS
BIRRELL, AD
NELSON, BJ
ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1984, 2 (01): : 39 - 59
[7] A LOOK AT REMOTE PROCEDURE CALLS
MALLETT, M
BYTE, 1991, 16 (05): : 309 - &
[8] RULES OF INFERENCE FOR PROCEDURE CALLS
ERNST, GW
ACTA INFORMATICA, 1977, 8 (02) : 145 - 152
[9] OPTIMIZING PROCEDURE CALLS AND RETURNS
ER, MC
SOFTWARE-PRACTICE & EXPERIENCE, 1983, 13 (10): : 921 - 939
[10] TPC: Tagged Procedure Calls
Kapelonis, Konstantinos
Karsson, Sven
Bilas, Angelos
ERCIM NEWS, 2006, (67): : 30 - 30

← 1 2 3 4 5 →