PROOF RULES FOR GOTOS

被引：20

作者：

ARBIB, MA ^{[1
]}

ALAGIC, S ^{[1
]}

机构：

[1] UNIV SARAJEVO,FAC ELECTROTECH,DEPT INFORMAT,YU-71000 SARAJEVO,YUGOSLAVIA

来源：

关键词：

D O I：

10.1007/BF00264021

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：139 / 148

页数：10

共 50 条

[1] GOTOS IN PRACTICE
TAYLOR, DJ
[J]. COMPUTER JOURNAL, 1981, 24 (01): : 95 - 95
[2] Proof-carrying code with untrusted proof rules
Necula, GC
Schneck, RR
[J]. SOFTWARE SECURITY - THEORIES AND SYSTEMS, 2003, 2609 : 283 - 298
[3] Rules of proof, courts, and incentives
Demougin, Dominique
Fluet, Claude
[J]. RAND JOURNAL OF ECONOMICS, 2008, 39 (01): : 20 - 40
[4] INFINITE PROOF RULES FOR LOOPS
KROGER, F
[J]. ACTA INFORMATICA, 1980, 14 (04) : 371 - 389
[5] A Proof of the Fusion Rules Theorem
Jianqi Liu
[J]. Communications in Mathematical Physics, 2023, 401 : 1237 - 1290
[6] INFINITISTIC RULES OF PROOF AND THEIR SEMANTICS
APT, KR
[J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1973, 21 (10): : 879 - 886
[7] PROOF RULES FOR COMMUNICATION ABSTRACTIONS
TAUBENFELD, G
FRANCEZ, N
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 181 : 443 - 465
[8] SEMANTICS OF INFINITISTIC RULES OF PROOF
APT, KR
[J]. JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) : 121 - 138
[9] PROOF RULES FOR VDM STATEMENTS
MILNE, R
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 318 - 336
[10] A Proof of the Fusion Rules Theorem
Liu, Jianqi
[J]. COMMUNICATIONS IN MATHEMATICAL PHYSICS, 2023, 401 (02) : 1237 - 1290