AXIOMS AND PROOF RULES FOR ADA TASKS

被引:4
作者
BARRINGER, H
MEARNS, I
机构
来源
IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES | 1982年 / 129卷 / 02期
关键词
D O I
10.1049/ip-e.1982.0010
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:38 / 48
页数:11
相关论文
共 25 条
[1]   A Proof System for Communicating Sequential Processes [J].
Apt, Krzysztof R. ;
Francez, Nissim ;
De Roever, Willem P. .
ACM Transactions on Programming Languages and Systems, 1980, 2 (03) :359-385
[2]  
CHEN ZC, 1981, 2ND P INT C DISTR CO
[3]  
de Bakker Jaco., 1980, Mathematical Theory of Program Correctness
[4]   SOCIAL PROCESSES AND PROOFS OF THEOREMS AND PROGRAMS [J].
DEMILLO, RA ;
LIPTON, RJ ;
PERLIS, AJ .
COMMUNICATIONS OF THE ACM, 1979, 22 (05) :271-280
[5]  
Dijkstra E. W., 1968, Programming languages, P43
[6]  
DIJKSTRA EW, 1976, DISCIPLINE PROGRAMMI, P41
[7]   THE TOTAL CORRECTNESS OF PARALLEL PROGRAMS [J].
FLON, L ;
SUZUKI, N .
SIAM JOURNAL ON COMPUTING, 1981, 10 (02) :227-246
[8]  
Francez N., 1980, ACM Transactions on Programming Languages and Systems, V2, P42, DOI 10.1145/357084.357087
[9]   EXCEPTION HANDLING - ISSUES AND A PROPOSED NOTATION [J].
GOODENOUGH, JB .
COMMUNICATIONS OF THE ACM, 1975, 18 (12) :683-696
[10]  
Hansen P. B., 1978, Communications of the ACM, V21, P934, DOI 10.1145/359642.359651