AN OVERVIEW OF ANNA, A SPECIFICATION LANGUAGE FOR ADA

被引：56

作者：

LUCKHAM, DC ^{[1
]}

VONHENKE, FW ^{[1
]}

机构：

[1] SRI INT,MENLO PK,CA 94025

来源：

关键词：

ANNOTATED ADA (ANNA) - DECLARATIVE CONSTRUCTS - EXPLANATORY CONSTRUCTS - LANGUAGE EXTENSION - SPECIFICATION CONSTRUCTS;

D O I：

10.1109/MS.1985.230345

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：9 / 22

页数：14

共 16 条

[1]

DAHL OJ, 1978, CAN PROGRAM PROVING

[2] ABSTRACT DATA TYPES AND DEVELOPMENT OF DATA-STRUCTURES [J].

GUTTAG, J .

[3]

Hoare C. A. R., 1972, Acta Informatica, V1, P271, DOI 10.1007/BF00289507

[4]

HOARE CA, 1973, ACTA INFORM, P335

[5] MONITORS - OPERATING SYSTEM STRUCTURING CONCEPT [J].

HOARE, CAR .

[6] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J].

HOARE, CAR .

[7]

KRIEGBRUCKNER B, 1983, ADA LETT, V3, P46

[8]

Luckham D. C., 1980, ACM Transactions on Programming Languages and Systems, V2, P225, DOI 10.1145/357094.357100

[9]

Luckham D. C., 1979, ACM Transactions on Programming Languages and Systems, V1, P226, DOI 10.1145/357073.357078

[10]

LUCKHAM DC, 1980, ACM SIGPLAN NOTICES, V15, P113