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

← 1 2 3 →